anchor.diff:     // Instruction fetch
      //(* conflict_free="rl_fetch, rl_exec, rl_write_back" *)
      rule rl_fetch(cpu_enabled);
  -      if (cfg_verbose > 1) $display("[%7d] rl_fetch : Read instruction PC = 0x%08h", csr_cycle, pc);
  -      memory.imem_req(pc);
  -
  -      let next_pc = fromMaybe(pc + 4, rw_pc.wget);
  -      pc <= next_pc;
  +      if (cfg_verbose > 1) $display("[%7d] rl_fetch : Read instruction PC = 0x%08h", csr_cycle, pc[2]);
  +      memory.imem_req(pc[2]);
      endrule
   
      // ----------------------------------------------------------------
  
positive.code:          csr_instret <= csr_instret + 1;
        end
        else begin
           if (score_conflict)
              rw_pc.wset(pcEpoch);
           if (cfg_verbose > 1) $display("[%7d] rl_exec  : Bypass PC = 0x%08h, instr = 0x%h, Epoch = 0x%08h", csr_cycle, decoded.pc, decoded.instr, pcEpoch);
        end
     endrule
  
negative.code:    // INTERFACE
  
     method Action start(Addr initial_pc) if (!cpu_enabled);
        pc[2]       <= initial_pc;
        pcEpoch     <= initial_pc;
        cpu_enabled <= True;
     endmethod
  