anchor.diff:        let pktInst = PacketInstance {id: 0, size: pktLen};
         MetadataRequest nextReq = MetadataRequest {pkt: pktInst, meta: meta};
         outReqFifo.enq(nextReq);
  +      dbprint(3, $format("send packet ", fshow(meta)));
      endrule
   
      interface writeServer = pktBuff.writeServer;
  +   interface writeClient = (interface PktWriteClient;
  +      interface writeData = toGet(writeDataFifo);
  +   endinterface);
      interface next = (interface Client#(MetadataRequest, MetadataResponse);
         interface request = toGet(outReqFifo);
         interface response = toPut(inRespFifo);
  
positive.code:       interface readReq = toGet(readReqFifo);
     endinterface);
  
     PktWriteClient writeClient = (interface PktWriteClient;
        interface writeData = toGet(writeDataFifo);
     endinterface);
  
     mkConnection(readClient, pktBuff.readServer);
     mkConnection(toGet(writeDataFifo), toPut(parser.frameIn));
  
     rule packetReadStart if (!readStarted);
        let pktLen <- toGet(readLenFifo).get;
        pktLenFifo.enq(pktLen);
        readStarted <= True;
     endrule
  
     rule packetReadInProgress if (readStarted);
  
negative.code:          readStarted <= False;
        end
        writeDataFifo.enq(v);
        parser.frameIn.put(v);
        dbprint(3, $format("read packet start ", fshow(v)));
     endrule
  
     rule dispatch_packet;
  