anchor.diff:  
   //
   ///////////////////////////////////////////////////////////////////////////////////
  -
  -instance Connectable#(MemReadClient#(dsz), MemReadServer#(dsz));
  -   module mkConnection#(MemReadClient#(dsz) source, MemReadServer#(dsz) sink)(Empty);
  -      rule mr_request;
  -         let req <- source.readReq.get();
  -         sink.readReq.put(req);
  -      endrule
  -      rule mr_response;
  -         let resp <- sink.readData.get();
  -         source.readData.put(resp);
  -      endrule
  -   endmodule
  -endinstance
  -
  -instance Connectable#(MemWriteClient#(dsz), MemWriteServer#(dsz));
  -   module mkConnection#(MemWriteClient#(dsz) source, MemWriteServer#(dsz) sink)(Empty);
  -      rule mw_request;
  -         let req <- source.writeReq.get();
  -         sink.writeReq.put(req);
  -      endrule
  -      rule mw_response;
  -         let resp <- source.writeData.get();
  -         sink.writeData.put(resp);
  -      endrule
  -      rule mw_done;
  -         let resp <- sink.writeDone.get();
  -         source.writeDone.put(resp);
  -      endrule
  -   endmodule
  -endinstance
   
   instance Connectable#(PhysMemReadClient#(asz,dsz), PhysMemReadServer#(asz,dsz));
      module mkConnection#(PhysMemReadClient#(asz,dsz) source, PhysMemReadServer#(asz,dsz) sink)(Empty);
  
positive.code:    function Bit#(TDiv#(dataBusWidth,8)) reqLastByteEnable(PhysMemRequest#(addrWidth,dataBusWidth) req); return maxBound; endfunction
  `endif
  endinstance
  instance ReqByteEnables#(MemRequest,ByteEnableSize);
  `ifdef BYTE_ENABLES
     function Bit#(ByteEnableSize) reqFirstByteEnable(MemRequest req); return req.firstbe; endfunction
     function Bit#(ByteEnableSize) reqLastByteEnable(MemRequest req); return req.lastbe; endfunction
  `else
     function Bit#(ByteEnableSize) reqFirstByteEnable(MemRequest req); return maxBound; endfunction
     function Bit#(ByteEnableSize) reqLastByteEnable(MemRequest req); return maxBound; endfunction
  `endif
  endinstance
  
  ///////////////////////////////////////////////////////////////////////////////////
  //
  
negative.code: 
  `include "ProjectConfig.bsv"
  
  typedef 44 MemOffsetSize;
  `ifdef MemTagSize
  typedef `MemTagSize MemTagSize;
  