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:    interface dataPipes = read_data_pipes;
     interface read_servers = zipWith(toMemreadServer, rs, read_data_pipes);
  endmodule
  
  
  
negative.code:              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::%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;
  