anchor.diff:  // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
   // SOFTWARE.
   
  -import FIFO::*;
  +import FIFOF::*;
   import GetPutF::*;
   import PortalRMemory::*;
   import RingTypes::*;
  
positive.code:     rule copyReadWriteRule (copyBusy);
         let data <- copy_read_chan.readData.get;
         $display("copyReadWrite addr %h", copyWriteAddr);
         copy_write_chan.writeReq.put(DMAAddressRequest{handle: copyWriteHandle, address: copyWriteAddr, burstLen: extend(1), tag: truncate(copyWriteAddr >> 3)});
         copy_write_chan.writeData.put(DMAData{data: data.data, tag: copyWriteAddr >> 3});
         copyWriteAddr <= copyWriteAddr + 8;
      endrule
      
  
negative.code: 	       copyWriteCount <= f_in.first()[15:0];
  	       f_in.deq();  // word 3
  	    endaction
  	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	    copyBusy <= True;
  	 endseq
  