AgentPkg:
CONFIGURATION
IMPORTS Atom, IO, Log, LupineRuntime, Names, NamesGV, PrincOpsUtils, PupDefs, Rope, RPCLupine, RPCPktIO, RPCSecurity, UserProfile
CONTROL DESDummy, RPCBcstListenImpl, AgentRpcServerImpl, AgentImpl = {
RPCBcstListenImpl; -- implements binding listener
AgentRpcServerImpl;
AgentImpl; -- exports Agent, directly and via RPC
DESDummy;
LupineRuntimeExtrasImpl;
}.