anchor.diff:  endfunction
   
   
  -module mkNocArbitrate#(Vector#(n, Bit#(4)) id, String name, Vector#(n, PipeOut#(a)) in, PipeIn#(a) out)(Empty);
  +module mkNocArbitrate#(Vector#(n, Bit#(4)) id, Vector#(n, PipeOut#(a)) in, PipeIn#(a) out)(Empty);
      Arbiter_IFC#(n) arb <- mkArbiter(False);   
      for (Integer i = 0; i < valueOf(n); i = i + 1)
         rule send_request (out.notFull && in[i].notEmpty);
  
positive.code: 
    // interface wiring
  
     interface PipeIn in = toPipeIn(fifofromhost);
     interface PipeOut out = toPipeOut(fifotohost);
  
  endmodule
  
  
negative.code:    
     xp[radix - 1][radix - 1] < mkSizedFIFOF(4);
     
     // create distributors
     
     for (Bit#(4) x = 0; x < radix; x = x + 1)
        mkdistributor(id, linkin[x], map(toPipeOut, xp[x]));
  
     // create arbiters
     for (Bit#(4) y = 0; y < radix; y = y + 1)
  