anchor.diff:        arb <= arb+1;
      endrule
      
  -   for(Integer i = 0; i < valueOf(numServers); i=i+1)
  -      addrServers[i] = 
  +   function Server#(AddrTransRequest,Bit#(addrWidth)) arbitratedServer(Integer i);
  +   return
         (interface Server#(AddrTransRequest,Bit#(addrWidth));
   	  interface Put request;
   	     method Action put(AddrTransRequest req) if (arb == fromInteger(i));
  
positive.code: 	     endmethod
  	  endinterface
         endinterface);
        
     interface MMURequest request;
     method Action idRequest(SpecialTypeForSendingFd fd);
  
negative.code: 	     endmethod
  	  endinterface
         endinterface);
     endfunction
  
     interface servers = genWith(arbitratedServer);
  
  endmodule
  