anchor.diff:        match {.rc, .idx, .last_burst} = workf.first;
         let new_respCnt = respCnt+1;
         let l = False;
  -      if (verbose) $display("mkMemreadEngineBuff::%h new_respCnt %d rc %d last_burst %d idx %d outs1 %d eob %d", d.data, new_respCnt, rc, last_burst, idx, outs1[idx], d.last);
  +      if (verbose) $display("mkMemreadEngineBuff::%d data %h new_respCnt %d rc %d last_burst %d idx %d outs1 %d eob %d", counter, d.data, new_respCnt, rc, last_burst, idx, outs1[idx], d.last);
         if (new_respCnt == rc) begin
   	 respCnt <= 0;
   	 workf.deq;
  
positive.code:       incr_loadIdx;
        match {.cmd,.cond0,.last_burst,.cmd_len} <- toGet(loadf_b).get;
        if  (cond0) begin
  	 if (verbose) $display("mkMemreadEngineBuff::load_ctxt_c cmd.len %d idx %d cond0 %d last_burst %d", cmd.len, loadIdx, cond0, last_burst);
  	 loadf_c.enq(tuple4(truncate(loadIdx),cmd,last_burst,cmd_len));
  	 if (last_burst) begin
  	    if (verbose) $display("mkMemreadEngineBuff::load_ctxt_b last_burst %d", last_burst);
  	    outfs[loadIdx].enq(?);
  	    outs1[loadIdx] <= False;
  	 end
  
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
  