M2compiler-V1/tests/p_bad_nobody.mod

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