anchor.diff:  	       f_in.deq;
   	    copyBusy <= True;
   	 endseq
  -   endseq
  +   endseq;
         
       rule copyReadRule (copyBusy && (copyReadCount != 0));
          $display("copyRead %h, count %h", copyReadAddr, copyReadCount);
  
positive.code: 	    while (!copyBusy) noAction;
  	    while (copyWriteCount > 0)
  	       action
  		  let v <= copy_write_chan.writeDone.get;
  		  copyWriteCount <= copyWriteCount - 8;	 
  	       endaction
  	    for (ii <= 0; ii < 7; ii += 1)
  	       f_out.enq(0);
  	    f_out.enq(extend(copyTag));
  	    copyBusy <= False;
  	 endseq
     endseq
        
     FSM start();
     mkAutoFSM#(copyStart)(start);
     FSM finish();
     mkAutoFSM#(copyFinish)(finish);
     
     interface PutF request = toPutF(f_in);
     interface GetF response = toGetF (f_out);
  
negative.code: import GetPutF::*;
  import PortalRMemory::*;
  import RingTypes::*;
  import StmtFSM::*;
  
  // The interface to the copyengine is a pair of fifos which supply and accept
  // blocks of 8 64 bit words
  