<> <> <> <> DIRECTORY YggEnvironment, YggLog; YggRestartFile: CEDAR DEFINITIONS = BEGIN RecordID: TYPE = YggLog.RecordID; WordNumber: TYPE = YggEnvironment.WordNumber; ReadRestartRecord: PROC [] RETURNS [ wordNumberForCheckpointCompleteRecord: WordNumber, recordIDForCheckpointCompleteRecord: RecordID]; WriteRestartRecord: PROC [ wordNumberForCheckpointCompleteRecord: WordNumber, recordIDForCheckpointCompleteRecord: RecordID]; END.