anchor.diff:  	      end
   	      tlpWriteHeaderFifo.enq(tlp);
   	      writeBurstCount <= zeroExtend(burstLen)+1;
  -	      writeDwCount <= zeroExtend(burstLen)*fromInteger(valueOf(busWidthWords)) + fromInteger(valueOf(busWidthWords));
   	      writeTag <= truncate(awid);
  -	      writeHeaderSent <= False;
              endmethod: writeAddr
   	   method Action writeData(Bit#(busWidth) data, Bit#(busWidthBytes) byteEnable, Bit#(1) last, Bit#(idWidth) wid)
   	      provisos (Bits#(Vector#(busWidthWords, Bit#(32)), busWidth)) if (writeBurstCount > 0);
  
positive.code: 
  	 writeDataMimo.deq(4);
  	 writeDwCount <= writeDwCount - 4;
  	 tlp.eof = True;
  	 tlp.be = 16'hffff;
  	 sendit = True;
        end
        else if (writeDataMimo.deqReadyN(unpack(truncate(writeDwCount)))) begin
  	 v = writeDataMimo.first();
  	 writeDataMimo.deq(unpack(truncate(writeDwCount)));
  	 writeDwCount <= 0;
  	 tlp.eof = True;
  	 if (writeDwCount == 4)
  	    tlp.be = 16'hffff;
  
negative.code: 	    tlp.be = 16'hff00;
  	 else if (writeDwCount == 1)
  	    tlp.be = 16'hf000;
  	 $display("tlp.be=%h", tlp.be);
  	 sendit = True;
        end
        else begin
  	 // wait for more data in writeDataMimo
  	 $display("waiting for more data dwCount=%d count=%d", writeDwCount, writeDataMimo.count());
        end
        if (sendit) begin
  	 for (Integer i = 0; i < 4; i = i + 1)
  