M2compiler-V3/compiler/tests/read_prog.mod

MODULE ReadProg;
(* Reads two integers from stdin, prints their sum. *)
FROM SysIO IMPORT ReadInt, WriteInt, WriteLn;
VAR a, b, s : INTEGER;
BEGIN
  a := ReadInt();
  b := ReadInt();
  s := a + b;
  WriteInt(s);
  WriteLn
END ReadProg.