anchor.diff:        method Action freePacketBuff(Bit#(32) id);
   
         endmethod
  +
  +      method Action writePacketData(Vector#(2, Bit#(64)) data, Vector#(2, Bit#(8)) mask, Bit#(1) sop, Bit#(1) eop);
  +         EtherData beat = defaultValue;
  +         beat.data = pack(reverse(data));
  +         beat.mask = pack(reverse(mask));
  +         beat.sop = unpack(sop);
  +         beat.eop = unpack(eop);
  +         ring_buff.writeServer.writeData.put(beat);
  +      endmethod
  +
      endinterface
   endmodule: mkTbTop
   
  
positive.code: import MemServerIndication::*;
  import MMUIndication::*;
  import SharedBuff::*;
  
  import Malloc::*;
  
  
negative.code: import BuildVector::*;
  import GetPut::*;
  import ClientServer::*;
  import DefaultValue::*;
  import StmtFSM::*;
  import FIFO::*;
  import Pipe::*;
  