anchor.diff:                            fa_finish_with_Rd(decoded.rd, value);
                          end
                  f3_LW:  begin
  -                          Int#(32)  s32   = unpack(truncate (u));
  +                          Int#(32)  s32   = unpack(truncate(u));
                             Word_S    s     = signExtend(s32);
                             Word      value = pack(s);
                             fa_finish_with_Rd(decoded.rd, value);
  
positive.code:       cpu_state   <= STATE_FETCH;
     endrule
  
     // ---------------- Increment csr_cycle and csr_time according to external oracles
  
     rule rl_incr_cycle;
        csr_cycle <= csr_cycle + 1;
     endrule
  
     rule rl_incr_time;
        csr_time <= csr_time + 1;
     endrule
  
     // ----------------------------------------------------------------
  
negative.code: 
     // CSRs
     Reg#(Bit #(64))   csr_cycle   <- mkConfigReg(0);
     Reg#(Bit #(64))   csr_instret <- mkConfigReg(0);
  
     // ----------------
     // These CSRs are technically not present in the user-mode ISA.
  
     Reg#(Word)  csr_mepc       <- mkRegU;
     Reg#(Word)  csr_mcause     <- mkRegU;
  