M2compiler-V3/compiler/tests/wholeio_prog.mod

MODULE WholeIOProg;
(* WholeIO: VAR-parameter reads, integer output. *)
FROM WholeIO IMPORT ReadInt, WriteInt;
FROM SysIO IMPORT WriteLn;
VAR a, b, p : INTEGER;
BEGIN
  ReadInt(a);
  ReadInt(b);
  p := a * b;
  WriteInt(p);
  WriteLn
END WholeIOProg.