MODULE PBadNobody; PROCEDURE P(a : INTEGER) : INTEGER; FORWARD; VAR ExitCode : INTEGER; BEGIN ExitCode := 0 END PBadNobody.