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:          clientLen <= clientLen - extend(cmd_len);
           clientNext <= getNext(clientLen, clientCommand.burstLen);
  	 if (last_burst) begin
  	    if (verbose) $display("mkMemReadEngineBuff::%d rule_requestServer last_burst %d", counter, last_burst);
  	    clientInFlight <= False;
  	    `ifdef MEMENGINE_REQUEST_CYCLES
  	    $display("clientCycles = %d", clientCycles);
  
negative.code: 	                return clientDataFifo.first;
  	             endmethod
  	             method Action deq;
  	                if (verbose) $display("mkMemReadEngineBuff::check_out: chan=%d data %h clientAvail %d eob %d", 
  					      channelNumber, clientDataFifo.first.data, clientAvail.read(), clientDataFifo.first.last);
  	                clientDataFifo.deq;
  	                clientAvail.increment(1);
  	             endmethod
  