<> <> <> <> <<>> <> <<>> DIRECTORY IO USING [STREAM], LoganBerry USING [Entry], LoganBerryStructure USING [ LogAddress]; LoganBerryBackdoor: CEDAR DEFINITIONS ~ { ReadLogEntry: PROC [ logStream: IO.STREAM, byte: LoganBerryStructure.LogAddress] RETURNS [LoganBerry.Entry]; WriteLogEntry: PROC [ logStream: IO.STREAM, entry: LoganBerry.Entry, continuation: BOOLEAN _ FALSE] RETURNS [LoganBerryStructure.LogAddress]; MarkUpdateComplete: PROC [logStream: IO.STREAM]; }. <<>>