Listing: 1 MODULE PFact; 2 VAR ExitCode : INTEGER; 3 PROCEDURE Fact(n : INTEGER) : INTEGER; 4 BEGIN 5 IF n <= 1 THEN RETURN 1 ELSE RETURN n * Fact(n - 1) END 6 END Fact; 7 BEGIN 8 ExitCode := Fact(5) 9 END PFact. 0 errors