anchor.diff:  	    while (copyWriteCount > 0)
   	       action
   		  let v <- copy_write_chan.writeDone.get;
  +		  $display("copyWriteAck");
   		  copyWriteCount <= copyWriteCount - 8;	 
   	       endaction
   	    f_out.enq(0);
  
positive.code: 	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	    copyBusy <= True;
  	 endseq
     endseq;
  
negative.code:        copy_write_chan.writeData.put(DmaData{data: data.data, tag: copyWriteAddr[8:3]});
         copyWriteAddr <= copyWriteAddr + 8;
      endrule
     
      
     Stmt copyFinish = 
     seq
  