anchor.diff:  
         rbc = rbc - 1;
         readBurstCount <= rbc;
  +      readInProgress <= (rbc != 0);
  +      readBurstCountGreaterThan4 <= (rbc > 4);
         if (rbc == 0) begin
   	 readDataFifo.deq;
         end
  
positive.code: 	  return 16'hffff;
      endfunction
  
     rule continuation if (readBurstCount > 0);
        let rbc = readBurstCount;
        let sendit = False;
        TLPData#(16) tlp = defaultValue;
        Vector#(4, Bit#(32)) dvec = unpack(0);
        tlp.sof = False;
        //$display("continuation rbc=%d", rbc);
        if (rbc > 4) begin
  	 if (completionMimo.deqReadyN(4)) begin
  	    rbc = rbc - 4;
  	    dvec = completionMimo.first();
  
negative.code:       end
  
        readBurstCount <= rbc;
        readBurstCountGreaterThan4 <= (rbc > 4);
        if (rbc == 0) begin
  	 readDataFifo.deq();
  	 readInProgress <= False;
        end
        if (sendit) begin
  	 for (Integer i = 0; i < 4; i = i + 1)
  