anchor.diff:  	    ,Add#(c__, addrWidth, 64)
   	    ,Add#(numWriteClients, d__, nws)
   	    ,Add#(numReadClients, e__, nrs)
  +`ifdef BYTE_ENABLES
   	    ,Add#(f__, TDiv#(busWidth, 8), ByteEnableSize)
  +`endif
   	    );
      
      MemServerRead#(addrWidth,busWidth,nMasters,nrs)  reader <- mkMemServerRead(indication, mmus);
  
positive.code: 	    ,Add#(a__, addrWidth, 64)
  	    ,Add#(TLog#(TDiv#(busWidth, 8)), b__, 8)
  	    ,Add#(TLog#(TDiv#(busWidth, 8)), c__, BurstLenSize)
  	    ,Add#(d__, TDiv#(busWidth, 8), ByteEnableSize)
  	    );
     
     FIFO#(Bit#(32))   addrReqFifo <- mkFIFO;
  
negative.code: 	    ,Add#(a__, addrWidth, 64)
  	    ,Add#(TLog#(TDiv#(busWidth, 8)), b__, 8)
  	    ,Add#(TLog#(TDiv#(busWidth, 8)), c__, BurstLenSize)
  `ifdef BYTE_ENABLES
  	    ,Add#(d__, TDiv#(busWidth, 8), ByteEnableSize)
  `endif
  	    );
  
     FIFO#(Bit#(32))   addrReqFifo <- mkFIFO;
  