<> <> MulticastPkg: CONFIGURATION IMPORTS DriverDefs, EthernetOneFace, IO, Log, LupineRuntime, Names, PrincOpsUtils, PupRouterDefs, Rope, RPCLupine, RPCPrivate, UserProfile EXPORTS Multicast CONTROL MulticastRpcServerImpl, MulticastImpl = { MulticastRpcServerImpl; MulticastImpl; -- exports Agent, directly and via RPC }.