anchor.diff:                  noAction;
           endcase
   
  -
           // send verification packet
           verificationPackets.enq( VerificationPacket {
                   skippedPackets: 0,
  
positive.code:                 trap = tagged Valid (tagged Interrupt validInterrupt);
              end
          end
          Bool checkForInterrupts = dInst.execFunc matches tagged Mem .* ? False : True;
          Bool extensionDirty = False;
          Bool fpuDirty = (dInst.dst == tagged Valid Fpu);
          let csrfResult <- csrf.wr(
  
negative.code:     Reg#(Data) addr <- mkReg(0);
      Reg#(Data) nextPc <- mkReg(0);
  
      FIFO#(VerificationPacket) verificationPackets <- mkFIFO1;
  
      rule doInstMMU(running && state == IMMU);
  