anchor.diff:  		movetolink(b, r);
   	     else if (a.notEmpty && b.notEmpty)
   		begin
  -		   if (select == 2)
  +		   if (select == 1)
   		      movetolink(a, r);
   		   else
   		      movetolink(b, r);
  
positive.code: 
  function Action move(FIFOF#(DataMessage) from, FIFOF#(DataMessage) to);
     return action
  	     to.enq(from.first);
  	     from.deq();
  	  endaction;
  
negative.code: endfunction
  
  module mkNocNode#(Bit#(4) id, 
  		  SerialFIFO#(DataMessage) west,
  		  SerialFIFO#(DataMessage) east)(NocNode);
  //	    Log#(asize, k),
  //	    PrimSelectable#(DataMessage, Bit#(1)),
  //	    Bitwise#(DataMessage),
  