anchor.diff:                 default  :  fa_finish_with_Rd(fields.rd, pack(s_v1 >> shamt));
                  endcase
   
  -               if (cfg_verbose > 2) begin
  -                  let msg =  $format("[%7d] fa_exec  : pc = 0x%h, *** ", csr_cycle, decoded.pc)
  -                           + fshow(op)
  -                           + $format("i %s, %s, 0x%h", regNameABI[fields.rd], regNameABI[fields.rs1], fields.imm12_I);
  -                  $display(msg);
  -               end
  -            endaction
  +               let msg =  fshow(op)
  +                        + $format("i %s, %s, 0x%h", regNameABI[fields.rd], regNameABI[fields.rs1], fields.imm12_I);
  +               return msg;
  +            endactionvalue
            endfunction: fa_exec_OP_IMM
   
            // ----------------------------------------------------------------
            // Instructios for Register-Register alu ops
   
  -         function Action fa_exec_OP(AluFunc op);
  -            action
  +         function ActionValue#(Fmt) fa_exec_OP(AluFunc op);
  +            actionvalue
                  Bit#(TLog#(XLEN)) shamt = truncate(v2);    // NOTE: upper bits are unspecified in spec
   
                  case(op)
  
positive.code:             rw_scoreGPRsSet.wset(fields.rd);
           end
  
           fa_exec(decoded, fields);
           fifo_d2e.deq;
  
           // Update pcEpoch
  
negative.code:                default  :  fa_ST_req(BITS32);
                 endcase
  
                 let msg =  fshow(op)
                          + $format(" %s, %s, %1d", regNameABI[fields.rd], regNameABI[fields.rs1], imm_s);
                 return msg;
              endactionvalue
           endfunction: fa_exec_ST_Req
  
           // ----------------------------------------------------------------
           // Instructios for Register-Immediate alu ops
  
           function ActionValue#(Fmt) fa_exec_OP_IMM(AluFunc op);
              actionvalue
                 Word                v2    = zeroExtend(fields.imm12_I);
                 Word_S              s_v2  = signExtend(unpack(fields.imm12_I));
                 Bit#(TLog#(XLEN))   shamt = truncate(fields.imm12_I);
  