<<>> <> <> <> DIRECTORY UserInput USING [Handle]; UserInputLookahead: CEDAR DEFINITIONS ~ BEGIN Handle: TYPE ~ UserInput.Handle; SaveState: PROC [saved: Handle, handle: Handle]; <> <<>> RestoreState: PROC [saved: Handle, handle: Handle]; <> END.