<> <> <> <> DIRECTORY RPC USING [Principal] ; CoordinatorExtras: CEDAR DEFINITIONS = BEGIN Info: TYPE = RECORD [userRName: RPC.Principal]; END.