anchor.diff:        md.response.put(resp);
      endrule
   
  +   rule bb_increase_instance_resp;
  +      let v <- toGet(inRespFifo).get;
  +      case (v) matches
  +         tagged BBIncreaseInstanceResponse {pkt: .pkt}: begin
  +            $display("(%0d) increase instance: ", $time);
  +         end
  +      endcase
  +   endrule
  +
      interface next_control_state_0 = (interface BBClient;
         interface request = toGet(outReqFifo);
         interface response = toPut(inRespFifo);
  
positive.code:    endrule
  
     rule lookup_resp;
        let v <- toGet(inRespFifo).get;
        let pkt <- toGet(currPacketFifo).get;
        let meta <- toGet(currMetadataFifo).get;
        if (v matches tagged Valid .resp) begin
  
negative.code: import Ethernet::*;
  import FIFO::*;
  import GetPut::*;
  import MatchTable::*;
  import PaxosTypes::*;
  import RegFile::*;
  
  