<<>> <> <> <> <<>> <> <<>> DIRECTORY CirioNubAccess; SameWorldMonitoredCallOps: CEDAR DEFINITIONS ~ { MonitoredCall: PROCEDURE [ address: CirioNubAccess.RemoteAddress, proc: PROCEDURE [] RETURNS []] RETURNS []; }.