anchor.diff:  		  let v <- copy_write_chan.writeDone.get;
   		  copyWriteCount <= copyWriteCount - 8;	 
   	       endaction
  -	    for (ii <= 0; ii < 7; ii <= ii + 1)
  -	       f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
  +	    f_out.enq(0);
   	    f_out.enq(extend(copyTag));
   	    copyBusy <= False;
   	 endseq
  
positive.code: // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  // SOFTWARE.
  
  import FIFO::*;
  import GetPutF::*;
  import PortalRMemory::*;
  import RingTypes::*;
  
negative.code:    Reg#(DmaMemHandle) copyWriteHandle <- mkReg(0);
     Reg#(Bit#(32)) copyTag <- mkReg(0);
     Reg#(Bool) copyBusy <- mkReg(False);
     Stmt copyStart = 
     seq
        while(True)
  