anchor.diff:          if (pcWire matches tagged Valid .pc) begin
               $fwrite(file, " 0x%0h", pc);
           end
  +        if (instWire matches tagged Valid .inst) begin
  +            $fwrite(file, " DASM(0x%0h)", inst);
  +        end
           $fdisplay(file, "");
       endrule
   
  
positive.code:     method Action recordPC(Bit#(64) pc);
          pcWire <= tagged Valid pc;
      endmethod
  endmodule
  
  endpackage
  
negative.code: interface ScheduleMonitor;
      method Action record(String ruleName, Char char);
      method Action recordPC(Bit#(64) pc);
      method Action recordInst(Bit#(32) inst);
  endinterface
  
  module mkScheduleMonitor#(File file, Vector#(n, String) ruleNames)(ScheduleMonitor);
  