anchor.diff:  	       end
   	       wordCount = wordCountReg - extend(pack(count));
   	       completionMimo.enq(count, vec);
  -	       Vector#(4, TLPTag) tagvec = replicate(lastTag);
  +	       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
  
positive.code:     // 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();
  
     mimoCfg.bram_based = True;
     mimoCfg.unguarded = True;
  
negative.code: 		 v[(i+1)*32-1:i*32] = data_v[i];
  `endif
                end
  	      return MemData { data: v, tag: truncate(tag), last: last}; // last beat of this response burst
             endmethod
  	endinterface
     endinterface
  