anchor.diff:        if (cfg_verbose > 1) $display("[%6d] RISCV(rl_fetch): STATE_FETCH (PC = 0x%08X)", csr_cycle, pc);
   
         memory.imem_req(pc);
  -      csr_instret_update <= False;
  -      cpu_state          <= STATE_EXEC;
  +      cpu_state <= STATE_EXEC;
      endrule
   
      // ---------------- EXECUTE
  
positive.code:       case(csrCmd)
           0: begin // Exit
              //$display("Exit with code %d", csrDat);
  				if (csrDat == 0) begin
  					$display("PASSED\n");
  				end
  				else begin
  					$display("FAILED: exit code = %d\n", csrDat);
  				end
              $finish;
           end
           1: begin // PrintChar
  
negative.code:       csr_dcsr <= tagged Invalid;
        return ret;
     endmethod
  endmodule
  
  // ================================================================
  
  