anchor.diff:               cmd_len = truncate(cmd.len);
   	 let cond0 <- buffCap[loadIdx].maybeDecrement(unpack(extend(cmd_len>>beat_shift)));
   	 loadf_b.enq(tuple4(cmd,cond0,last_burst,cmd_len));
  -	 if (verbose) $display("mkMemreadEngineBuff::load_ctxt_b buffCap %d burstLen %d cond0 %d last_burst %d", buffCap[loadIdx].read(), cmd_len>>beat_shift, cond0, last_burst);
  +	 if (verbose) $display("mkMemreadEngineBuff::%d load_ctxt_b buffCap[%d] %d burstLen %d cond0 %d last_burst %d", counter, loadIdx, buffCap[loadIdx].read(), cmd_len>>beat_shift, cond0, last_burst);
         end
         else begin
   	 incr_loadIdx;
  
positive.code: 	 let cmd <- toGet(cmds_in[idx]).get();
  	 outs1[idx] <= True;
  	 cmdRegs[idx] <= cmd;
  	 if (verbose) $display("mkMemreadEngineBuff::store_cmd %d %d", idx, buffCap[idx].read);
        endrule
     
     rule load_ctxt_a (!load_in_progress);
  
negative.code:    Reg#(Bit#(TAdd#(1,serverIdxSz))) loadIdx <- mkReg(0);
     let beat_shift = fromInteger(valueOf(beatShift));
     let cmd_q_depth = fromInteger(valueOf(cmdQDepth));
     Reg#(Bit#(32)) counter <- mkReg(0);
  
     rule incCounter;
        counter <= counter + 1;
     endrule
     
     function Action incr_loadIdx =
        (action
  