anchor.diff:  interface ObjectWriteClient#(numeric type dsz);
      interface Get#(ObjectRequest)    writeReq;
      interface Get#(ObjectData#(dsz)) writeData;
  -   interface Put#(Bit#(6))       writeDone;
  +   interface Put#(Bit#(ObjectTagSize))       writeDone;
   endinterface
   
   interface ObjectReadServer#(numeric type dsz);
  
positive.code: interface MemWriteServer#(numeric type asz, numeric type dsz);
     interface Put#(MemRequest#(asz)) writeReq;
     interface Put#(MemData#(dsz))     writeData;
     interface Get#(Bit#(6))           writeDone;
  endinterface
  
  //
  
negative.code: interface ObjectWriteServer#(numeric type dsz);
     interface Put#(ObjectRequest) writeReq;
     interface Put#(ObjectData#(dsz))     writeData;
     interface Get#(Bit#(ObjectTagSize))           writeDone;
  endinterface
  
  //
  