anchor.diff:      Reg#(Data) addr <- mkReg(0);
       Reg#(Data) nextPc <- mkReg(0);
   
  -    FIFO#(Data)         toHost <- mkFIFO1;
  -    FIFO#(Data)         fromHost <- mkFIFO1;
  -
       FIFO#(VerificationPacket) verificationPackets <- mkFIFO1;
   
       rule doInstMMU(running && state == IMMU);
  
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:                 noAction;
          endcase
  
          // send verification packet
          verificationPackets.enq( VerificationPacket {
                  skippedPackets: 0,
  