anchor.diff:        match {.rc, .tag, .last_burst} = serverProcessing.first;
         let new_respCnt = respCnt+1;
         let l = False;
  -      if (verbose) $display("mkMemReadEngineBuff::%d data %h new_respCnt %d rc %d last_burst %d tag %d clientInFlight %d eob %d", counter, d.data, new_respCnt, rc, last_burst, tag, clientInFlight, d.last);
  +      if (verbose) $display("mkMemReadEngineBuff::%d chan=%d data %h new_respCnt %d rc %d last_burst %d tag %d clientInFlight %d eob %d",
  +	 counter, channelNumber, d.data, new_respCnt, rc, last_burst, tag, clientInFlight, d.last);
         if (new_respCnt == rc) begin
   	 respCnt <= 0;
   	 serverProcessing.deq;
  
positive.code:       let last_burst = clientNext.last;
        let cond0 <- clientAvail.maybeDecrement(unpack(extend(cmd_len>>beatShift)));
        serverCheckAvail.enq(tuple3(cond0,last_burst,cmd_len));
        if (verbose) $display("mkMemReadEngineBuff::%d rule_checkAvail avail %d burstLen %d cond0 %d last_burst %d", counter, clientAvail.read(), cmd_len>>beatShift, cond0, last_burst);
     endrule
  
     rule rule_requestServer if (clientInFlight);
        match {.cond0,.last_burst,.cmd_len} <- toGet(serverCheckAvail).get;
        if  (cond0) begin
  	 if (verbose) $display("mkMemReadEngineBuff::%d rule_requestServer clientLen %d cond0 %d last_burst %d", counter, clientLen, cond0, last_burst);
  	 serverProcessing.enq(tuple3(truncate(cmd_len>>beatShift), clientCommand.tag, last_burst));
  	 if (verbose) $display("MemReadEngine::%d readReq idx %d offset %h burstLenBytes %h last %d", counter, 0, clientBase, cmd_len, last_burst);
  
  	 dmaRequest.enq(MemRequest { sglId: clientCommand.sglId, offset: extend(clientBase),
  	    burstLen:cmd_len, tag: fromInteger(channelNumber)
  
negative.code:          clientLen <= clientLen - extend(cmd_len);
           clientNext <= getNext(clientLen, clientCommand.burstLen);
  	 if (last_burst) begin
  	    if (verbose) $display("mkMemReadEngineBuff::%d chan=%d rule_requestServer last_burst %d", counter, channelNumber, last_burst);
  	    clientInFlight <= False;
  	    `ifdef MEMENGINE_REQUEST_CYCLES
  	    $display("clientCycles = %d", clientCycles);
  