anchor.diff:                 Word    value = pack(pc_s + iv);
   
                  fa_finish_with_Rd(decoded.rd, value);
  +               if (cfg_verbose > 2) $display("[%7d] Decoded: PC = %h, auipc %s, 0x%h", csr_cycle, decoded.pc, regNameABI[decoded.rd], value[31:12]);
               endaction
            endfunction: fa_exec_AUIPC
   
  
positive.code:                let         value = pack(iv);
  
                 fa_finish_with_Rd(decoded.rd, value);
                 if (cfg_verbose > 2) $display("[%7d] PC = %h: LUI %s, 0x%h", csr_cycle, decoded.pc, regNameABI[decoded.rd], value[31:12]);
              endaction
           endfunction: fa_exec_LUI
  
  
negative.code:                Bit#(TLog#(XLEN))   shamt = truncate(decoded.imm12_I);
  
                 if (cfg_verbose > 2) begin
                    $display("[%7d] Decoded: PC = %h, %s %s, %s, 0x%h", csr_cycle, decoded.pc,
                          case(decoded.funct3)
                             f3_ADDI: "addi";
                             f3_SLTI: "slti";
  