anchor.diff:        ew[0].out.deq();
         endrule
   
  -   Vector#(4, NocNode) node;
  +   Vector#(4, SerialFIFO#(DataMessage)) node;
   
       for (Bit#(4) i = 0; i < 4; i = i + 1)
       begin
  
positive.code:     seq
      while(True) seq
        for(id <= 0; id < 4; id <= id + 1)
            if (node[id].host.tohost.notEmpty())
  	      seq
  		 indication.ack(id, node[id].host.tohost.first.address,
  	            node[id].host.tohost.first.payload);
  		 node[id].host.tohost.deq();
                endseq
        endseq
      endseq;
  
negative.code:     mkAutoFSM(readindications);
   
     method Action send(Bit#(4) sendnode, Bit#(4) to, Bit#(32) message);
        node[sendnode].in.enq(DataMessage{address: to, payload: message});
     endmethod
    
     
  