anchor.diff:     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
   
   ///////////////////////////////////////////////////////////////////////////////////
   //
  
positive.code: 
  //
  ///////////////////////////////////////////////////////////////////////////////////
  
  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);
  
negative.code: 
  `include "ProjectConfig.bsv"
  
  typedef 44 MemOffsetSize;
  `ifdef MemTagSize
  typedef `MemTagSize MemTagSize;
  