anchor.diff:                 Word_S              s_v2  = signExtend(unpack(decoded.imm12_I));
                  Bit#(TLog#(XLEN))   shamt = truncate(decoded.imm12_I);
   
  -               if      (decoded.funct3 == f3_ADDI)  fa_finish_with_Rd(decoded.rd, pack (s_v1 + s_v2));
  +               if (cfg_verbose > 2) begin
  +                  $display("[%7d] Inst: %s %s, %s, 0x%h", csr_cycle,
  +                        case(decoded.funct3)
  +                           f3_ADDI: "addi";
  +                           f3_SLTI: "slti";
  +                           f3_SLTIU: "sltiu";
  +                           f3_XORI: "xori";
  +                           f3_ANDI: "andi";
  +                           f3_SLLI: "slli";
  +                           f3_SRxI: ((instr[31:25] == 7'b000_0000) ? "srli" : "srai");
  +                        endcase,
  +                        regNameABI[decoded.rd],
  +                        regNameABI[decoded.rs1],
  +                        decoded.imm12_I
  +                  );
  +               end
  +
  +
  +               if      (decoded.funct3 == f3_ADDI)  fa_finish_with_Rd(decoded.rd, pack(s_v1 + s_v2));
                  else if (decoded.funct3 == f3_SLTI)  fa_finish_with_Rd(decoded.rd, ((s_v1 < s_v2) ? 1 : 0));
                  else if (decoded.funct3 == f3_SLTIU) fa_finish_with_Rd(decoded.rd, ((v1  < v2)  ? 1 : 0));
  -               else if (decoded.funct3 == f3_XORI)  fa_finish_with_Rd(decoded.rd, pack (s_v1 ^ s_v2));
  -               else if (decoded.funct3 == f3_ORI)   fa_finish_with_Rd(decoded.rd, pack (s_v1 | s_v2));
  -               else if (decoded.funct3 == f3_ANDI)  fa_finish_with_Rd(decoded.rd, pack (s_v1 & s_v2));
  +               else if (decoded.funct3 == f3_XORI)  fa_finish_with_Rd(decoded.rd, pack(s_v1 ^ s_v2));
  +               else if (decoded.funct3 == f3_ORI)   fa_finish_with_Rd(decoded.rd, pack(s_v1 | s_v2));
  +               else if (decoded.funct3 == f3_ANDI)  fa_finish_with_Rd(decoded.rd, pack(s_v1 & s_v2));
   
                  else if ((decoded.funct3 == f3_SLLI) && (instr[31:25] == 7'b000_0000))
                     fa_finish_with_Rd(decoded.rd, (v1 << shamt));
  
positive.code: // IMem responses: either and exception or an instruction
  
  typedef union tagged {
     Exc_Code  IMem_Resp_Exception;
     Word      IMem_Resp_Ok;
  } IMem_Resp deriving(Bits, FShow);
  
  
negative.code:                let         value = pack(iv);
  
                 fa_finish_with_Rd(decoded.rd, value);
                 if (cfg_verbose > 2) $display("[%7d] Inst: LUI %s, 0x%h", csr_cycle, regNameABI[decoded.rd], value[31:12]);
              endaction
           endfunction: fa_exec_LUI
  
  