anchor.diff:  
      function Action fa_finish_with_Ld(RegName rd, Bit#(3) funct3);
         action
  -         //fifo_e2w.enq( Exec2Wb_t {rd: rd, rd_value: tagged Funct3 funct3} );
  -         rg_e2w <= tagged Valid (Exec2Wb_t {rd: rd, rd_value: tagged Funct3 funct3});
  +         fifo_e2w.enq( Exec2Wb_t {rd: rd, rd_value: tagged Funct3 funct3} );
            fa_finish_with_no_output;
         endaction
      endfunction
  
positive.code:    Reg#(Bool)  cpu_enabled <- mkReg(False);
  
     // Program counter
     //Reg#(Word)  pc[4]       <- mkCRegU(4);
     Ehr#(4, Word)  pc       <- mkEhrU;
     Reg#(Word)  pcEpoch     <- mkConfigRegU;
  
     // General Purpose Registers
     RegFile#(RegName, Word) rf_GPRs  <- mkRegFileWCF(0, ~0);
  
negative.code:    // Receive instruction from IMem; handle exception if any, else execute it;
  
     //(* no_implicit_conditions *)
     rule rl_exec(fifo_f2e.notEmpty && fifo_e2w.notFull);
        let decoded = fifo_f2e.first;
        fifo_f2e.deq;
  
        // ----------------------------------------------------------------
        // Instruction fields decode
  