<> <> <> <> <> <> <> DIRECTORY ; YggWorkerInternal: CEDAR DEFINITIONS = BEGIN WorkerLogWatchdogProcess: PROC []; <> NotifyLogWatchdog: PROC []; <> <> <> WaitForNotify: PROC []; <> END. <> <> <<>>