anchor.diff:     
      rule read_data_rule;
         let d <- toGet(serverDataFifo).get();
  -      match {.rc, .idx, .first_burst, .last_burst} = serverProcessing.first;
  +      match {.rc, .idx, .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 idx %d clientInFlight %d eob %d", counter, d.data, new_respCnt, rc, last_burst, idx, clientInFlight[idx], d.last);
  
positive.code:       else begin
  	 respCnt <= new_respCnt;
        end
        clientDataFifo[idx].enq(MemDataF { data: d.data, tag: d.tag,
           first: //first_burst && 
  (respCnt == 0), last: l});
     endrule
  
     Vector#(numServers, MemReadEngineServer#(userWidth)) rs;
  
negative.code: 	 let cmd <- toGet(clientRequest[idx]).get();
  	 clientInFlight[idx] <= True;
  	 clientCommand[idx] <= cmd;
  	 if (verbose) $display("mkMemReadEngineBuff::%d store_cmd %d %d", counter, idx, clientAvail[idx].read);
        endrule
     
  