<> <> <> DIRECTORY CamelotRecoverable, FS; CamelotRecoverableImpl: CEDAR PROGRAM IMPORTS FS EXPORTS CamelotRecoverable = BEGIN <<>> CamelotRecoverableFile: PUBLIC FS.OpenFile; <<>> <> Init: PROC = { CamelotRecoverableFile _ FS.Open[name: "///CamelotRecoverableFile/TestFile", lock: write]; }; Init[]; END. <<>>