anchor.diff:        endinterface
      endinterface
   
  +   // Interface for read from control-plane
      interface Server readPort;
         interface Put request;
            method Action put (Bit#(10) addr);
  
positive.code:       endinterface
     endinterface
  
     interface Put add_entry;
        method Action put (MatchSpec_t m);
           BcamWriteReq#(10, 9) req_bcam = BcamWriteReq{addr: addrIdx, data: m.data};
  
negative.code:       end
     endrule
  
     // Interface for lookup from data-plane modules
     interface Server lookupPort;
        interface Put request;
           method Action put (Bit#(9) v);
  