anchor.diff:        tlpDwCount <= truncate(min(4,unpack(dwCount)));
         lastTlp <= (dwCount <= 4);
         writeInProgress <= (dwCount != 0);
  -      writeInProgressProbe <= (dwCount != 0);
         if (isHeaderOnly) begin
   	 doneTag.enq(writeTag.first());
   	 writeTag.deq();
  
positive.code:       tlp.eof = lastTlp;
        if (lastTlp) begin
  	 writeInProgress <= False;
  	 writeInProgressProbe <= False;
  	 doneTag.enq(writeTag.first());
  	 writeTag.deq();
  	 $display("writeDwCount=%d will be zero", writeDwCount);
  
negative.code: 	       burstLen <- toGet(writeBurstCountFifo).get();
  	    end
  	    writeBurstCount <= extend(burstLen-1);
  
  	    Vector#(busWidthWords, Bit#(32)) v = unpack(wdata.data);
  	    writeDataMimo.enq(fromInteger(valueOf(busWidthWords)), v);
  