<> <> <> <> <> <> YggLockImpls: CONFIG IMPORTS Process, YggTransaction EXPORTS ALL CONTROL YggLockImpl = BEGIN YggLockImpl; END.