<> <> << Last edited by:>> <> YggFilePageMgrImpls: CONFIGURATION IMPORTS YggDummyFile, YggDummyProcess, YggDummyVM, YggFileMap, RedBlackTree, VM EXPORTS YggFilePageMgr CONTROL YggFilePageMgrMainImpl, YggFilePageMgrLruImpl, YggFilePageMgrIOImpl = BEGIN YggFilePageMgrMainImpl; YggFilePageMgrLruImpl; YggFilePageMgrIOImpl; END.