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