anchor.diff:        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
  +            if (csrDat == 0) begin
  +               $display("PASSED\n");
  +            end
  +            else begin
  +               $display("FAILED: exit code = %d\n", csrDat);
  +            end
               $finish;
            end
            1: begin // PrintChar
  
positive.code:       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;
     endrule
  
     // ---------------- EXECUTE
  
negative.code:    // ---------------- FINISH: increment csr_instret or record explicit CSRRx update of csr_instret
  
     rule rl_finish(cpu_state == STATE_FINISH);
        csr_instret <= csr_instret + 1;
        cpu_state   <= STATE_FETCH;
     endrule
  
     // ---------------- Increment csr_cycle and csr_time according to external oracles
  