anchor.diff:      seq
       while(True) seq
         for(id <= 0; id < 4; id <= id + 1)
  -          if (node[id].host.tohost.notEmpty())
  +          if (node[id].out.notEmpty())
   	      seq
  -		 indication.ack(id, node[id].host.tohost.first.address,
  -	            node[id].host.tohost.first.payload);
  -		 node[id].host.tohost.deq();
  +		 indication.ack(id, node[id].out.first.address,
  +	            node[id].out.first.payload);
  +		 node[id].out.deq();
                 endseq
         endseq
       endseq;
  
positive.code:     mkAutoFSM(readindications);
   
     method Action send(Bit#(4) sendnode, Bit#(4) to, Bit#(32) message);
        node[sendnode].host.tonet.enq(DataMessage{address: to, payload: message});
     endmethod
    
     
  
negative.code: import StmtFSM::*;
  import Vector::*;
  import FIFOF::*;
  import Pipe::*;
  
  interface NocIndication;
     method Action ack(Bit#(4) recvnode, Bit#(4) to, Bit#(32) message);
  