M2compiler-V2/tests/r_proc.mod

MODULE RProc;
VAR ExitCode : INTEGER;
PROCEDURE Add(a, b : INTEGER) : INTEGER;
BEGIN
  RETURN a + b
END Add;
PROCEDURE Fact(n : INTEGER) : INTEGER;
BEGIN
  IF n <= 1 THEN RETURN 1 END;
  RETURN n * Fact(n - 1)
END Fact;
BEGIN
  ExitCode := Add(20, 22) + Fact(5)
END RProc.