anchor.diff:  	    if (resp.id != tag)
   	       tag_mismatch.enq(True);
   	    respFifo.deq();
  -	    tag_store[activeChan].deq;
  -	    if (valueOf(numWriteClients) > 0)
  +	    if (valueOf(numWriteClients) > 0) begin
   	       writeClients[activeChan].writeDone.put(extend(tag_store[activeChan].first));
  +	       tag_store[activeChan].deq;
  +	    end
   	 endmethod
         endinterface
      endinterface
  
positive.code: 	    beatCount <= beatCount+1;
  	    
  	    Bit#(1) last = burstLen == 1 ? 1'b1 : 1'b0;
  	    dynamicAssert(tagdata.tag == tag_store[activeChan].first, "mkAxiDmaWriteInternal badness");
  
  	    return Axi3WriteData { data: tagdata.data, byteEnable: maxBound, last: last, id: req.tag };
  	 endmethod
  
negative.code: 	    if (burstLen == 0)
  	       burstLen = req.burstLen;
  
  	    if (burstLen == 1  && valueOf(numReadClients) > 0) begin
  	       dreqFifo.deq();
  	       chanFifo.deq();
  	       tag_store[activeChan].deq;
  