MODULE TCall;
// Value params, function result, recursion. Exit 125.
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(40, 2) + Fact(5) - 37
END TCall.