anchor.diff:     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);
  +		     method Action put(MemengineCmd cmd) if (outs0[i] < cmd_q_depth);
   			Bit#(32) bsb = fromInteger(bufferSizeBytes);
   `ifdef BSIM	 
   			Bit#(32) dw = fromInteger(valueOf(dataWidthBytes));
  -			let mdw = ((c.len)/dw)*dw != c.len;
  -			let bbl = extend(c.burstLen) > bsb;
  +			let mdw = ((cmd.len)/dw)*dw != cmd.len;
  +			let bbl = extend(cmd.burstLen) > bsb;
   			if(bbl || mdw) begin
   			   if (bbl)
  -			      $display("XXXXXXXXXX mkMemreadEngineBuff::unsupported burstLen %d %d", bsb, c.burstLen);
  +			      $display("XXXXXXXXXX mkMemreadEngineBuff::unsupported burstLen %d %d", bsb, cmd.burstLen);
   			   if (mdw)
  -			      $display("XXXXXXXXXX mkMemreadEngineBuff::unsupported len %d", c.len);
  +			      $display("XXXXXXXXXX mkMemreadEngineBuff::unsupported len %d", cmd.len);
   			end
   			else begin
   `endif
   	 		   outs0[i] <= outs0[i]+1;
  -			   cmds_in[i].enq(tuple2(fromInteger(i),c));
  +			   cmds_in[i].enq(cmd);
   `ifdef BSIM
   			end
   `endif
  
positive.code: 	  loadIdx <= loadIdx+1;
         endaction);
           
     rule store_cmd;
        match {.idx, .cmd} <- toGet(cmds_in_funnel[0]).get;
        outs1[idx] <= True;
        cmdBuf.enq(idx,cmd);
        if (verbose) $display("mkMemreadEngineBuff::store_cmd %d %d", idx, buffCap[idx].read);
     endrule
     
     rule load_ctxt_a (!load_in_progress);
        if (outs1[loadIdx]) begin
  
negative.code: 	     Add#(e__, TLog#(numServers), TAdd#(1, cmdBuffAddrSz)),
  	     Add#(a__, serverIdxSz, cmdBuffAddrSz),
  	     Min#(2,TLog#(numServers),bpc),
  	     Add#(d__, TLog#(numServers), TAdd#(1, serverIdxSz)),
  	     Add#(f__, serverIdxSz, 6));
     
  