M2compiler-V1/tests/p_fact.mod

MODULE PFact;
VAR ExitCode : INTEGER;
PROCEDURE Fact(n : INTEGER) : INTEGER;
BEGIN
  IF n <= 1 THEN RETURN 1 ELSE RETURN n * Fact(n - 1) END
END Fact;
BEGIN
  ExitCode := Fact(5)
END PFact.