<> <> <> <> DIRECTORY IO USING [STREAM]; DiabloStreams: CEDAR DEFINITIONS ~ BEGIN STREAM: TYPE ~ IO.STREAM; StreamOpen: PROC RETURNS [stream: IO.STREAM]; Busy: ERROR; <> <<>> <> <<>> <> <<>> <> <> <<>> <> <<>> <> END.