<> <> <> <> <> LockImpls: CONFIG IMPORTS BasicTime, FileMap, List, Process, Rope, SafeStorage, SkiPatrolHooks, SkiPatrolLog, TransactionMap EXPORTS ALL CONTROL LockCoreImpl, LockWatchdogImpl = BEGIN LockCoreImpl; LockWatchdogImpl; END.