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:                vec[0] = hdr_3dw.data;
                 wordCount = hdr_3dw.length - 1;
                 completionMimo.enq(1, vec);
                 completionTagMimo.enq(1, replicate(tuple2(tag,tlp.eof)));
              end
  	    handled = True;
        end
  