anchor.diff:  	     FunnelPipesPipelined#(1,numServers,Tuple2#(Bit#(serverIdxSz),MemengineCmd),bpc),
   	     FunnelPipesPipelined#(1,numServers,Tuple2#(Bit#(dataWidth),Bool),bpc));
      
  +   let maxBurstLen = 16;
  +   let maxBufferedBursts = 2;
  +   
      function Bit#(cmdBuffAddrSz) hf(Integer i) = fromInteger(i*valueOf(cmdQDepth));
      Vector#(numServers, Reg#(Bit#(outCntSz)))     outs1 <- replicateM(mkReg(0));
      Vector#(numServers, Reg#(Bit#(outCntSz)))     outs0 <- replicateM(mkReg(0));
  +   Vector#(numServers, Reg#(Bit#(3)))          buffCap <- replicateM(mkReg(maxBufferedBursts));
      Vector#(numServers, Reg#(Bit#(cmdBuffAddrSz))) head <- mapM(mkReg, genWith(hf));
      Vector#(numServers, Reg#(Bit#(cmdBuffAddrSz))) tail <- mapM(mkReg, genWith(hf));
   
  
positive.code:    FunnelPipe#(1, numServers, Tuple2#(Bit#(serverIdxSz), MemengineCmd),bpc) cmds_in_funnel <- mkFunnelPipesPipelined(map(toPipeOut,cmds_in));
     FIFOF#(Tuple2#(Bit#(TLog#(numServers)), Tuple2#(Bit#(dataWidth),Bool))) read_data <- mkFIFOF;
     UnFunnelPipe#(1, numServers, Tuple2#(Bit#(dataWidth),Bool),bpc) read_data_unfunnel <- mkUnFunnelPipesPipelined(cons(toPipeOut(read_data),nil));
     function PipeOut#(Bit#(dataWidth)) check_out(PipeOut#(Tuple2#(Bit#(dataWidth),Bool)) x, Integer i) = 
        (interface PipeOut;
  	  method Bit#(dataWidth) first;
  	     return tpl_1(x.first);
  
negative.code:    
     Vector#(numServers, Server#(MemengineCmd,Bool)) rs;
     for(Integer i = 0; i < valueOf(numServers); i=i+1)
        rs[i] = (interface Server#(MemengineCmd,Bool);
  		  interface Put request;
  		     method Action put(MemengineCmd c) if (outs0[i] < cmd_q_depth);
  			outs0[i] <= outs0[i]+1;
  			cmds_in[i].enq(tuple2(fromInteger(i),c));
   		     endmethod
  		  endinterface
  		  interface Get response;
  		     method ActionValue#(Bool) get;
  			outfs[i].deq;
  	 		outs0[i] <= outs0[i]-1;
  			return True;
  		     endmethod
  		  endinterface
  	       endinterface);
     interface readServers = rs;
     interface ObjectReadClient dmaClient;
        interface Get readReq;
  