anchor.diff:      // However, the implicit guard only checks for space for 1 element for enq(), and availability of 1 element for deq().
       MIMOConfiguration mimoCfg = defaultValue;
      MIFO#(4,busWidthWords,16,Bit#(32)) completionMimo <- mkMIFO();
  -   MIFO#(4,busWidthWords,16,TLPTag) completionTagMimo <- mkMIFO();
  +   MIFO#(4,busWidthWords,16,Tuple2#(TLPTag,Bool)) completionTagMimo <- mkMIFO(); // tag, last beat of burst
   
      mimoCfg.bram_based = True;
      mimoCfg.unguarded = True;
  
positive.code:          method ActionValue#(MemData#(buswidth)) get() if (completionMimo.deqReady()
  							   && completionTagMimo.deqReady());
  	      let data_v = completionMimo.first;
  	      let tag_v = completionTagMimo.first;
  	      completionMimo.deq();
  	      completionTagMimo.deq();
                Bit#(buswidth) v = 0;
  
negative.code: 	       end
  	       wordCount = wordCountReg - extend(pack(count));
  	       completionMimo.enq(count, vec);
  	       function Tuple2#(TLPTag,Bool) taglast(Integer i); return tuple2(lastTag, (fromInteger(i) == (count-1)) ? tlp.eof : False); endfunction
  	       Vector#(4, Tuple2#(TLPTag,Bool)) tagvec = genWith(taglast);
  	       completionTagMimo.enq(count, tagvec);
  	       handled = True;
  	    end
  