anchor.diff:  import StmtFSM::*;
   import Vector::*;
   import FIFOF::*;
  +import Pipe::*;
   
   interface NocIndication;
      method Action ack(Bit#(4) recvnode, Bit#(4) to, Bit#(32) message);
  
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:       ew[0].out.deq();
        endrule
  
     Vector#(4, SerialFIFO#(DataMessage)) node;
  
      for (Bit#(4) i = 0; i < 4; i = i + 1)
      begin
  