Init:
PROC = {
CamelotRecoverableFile ← FS.Open[name: "///CamelotRecoverableFile/TestFile", lock: write];
CamelotLogFile ← FS.Open[name: "///CamelotRecoverableFile/LogFile", lock: write];
RestartFile ← FS.Open[name: "///CamelotRecoverableFile/RestartFile", lock: write];
};