<<>> <> <> <> DIRECTORY IO; EchoStream: CEDAR DEFINITIONS = { CreateEchoStream: PROC [in, out: IO.STREAM, mapErrors: BOOL ¬ TRUE, eraseBackup, resetOutput, closeIn, closeOut: BOOL ¬ FALSE] RETURNS [IO.STREAM]; <> <> <> <> <> <> }.