MODULE IOChanProg;
(* IOChan: standard channels, string/int output, char input. *)
IMPORT IOChan;
VAR ExitCode : INTEGER;
VAR out, inp : IOChan.ChanId;
VAR c : CHAR;
BEGIN
  out := IOChan.StdOutChan();
  inp := IOChan.StdInChan();
  IOChan.WriteString(out, "hello ");
  IOChan.WriteInt(out, 42);
  IOChan.WriteLn(out);
  c := IOChan.ReadChar(inp);
  IOChan.WriteString(out, "got ");
  IOChan.WriteChar(out, c);
  IOChan.WriteLn(out);
  ExitCode := 0
END IOChanProg.