anchor.diff:     endrule
   
      rule lookup_resp;
  -      let v <- toGet(inRespFifo).get;
  +      let v <- matchTable.lookupPort.response.get;
         let pkt <- toGet(currPacketFifo).get;
         let meta <- toGet(currMetadataFifo).get;
         if (v matches tagged Valid .resp) begin
  
positive.code:       md.response.put(resp);
     endrule
  
     interface next_control_state_0 = (interface BBClient;
        interface request = toGet(outReqFifo);
        interface response = toPut(inRespFifo);
  
negative.code: import Ethernet::*;
  import FIFO::*;
  import GetPut::*;
  import MatchTable::*;
  import PaxosTypes::*;
  import RegFile::*;
  
  