M2compiler-V1/tests/p_bad_fwd.mod

MODULE PBadFwd;
VAR ExitCode : INTEGER;
PROCEDURE P(a : INTEGER) : INTEGER;
FORWARD;
PROCEDURE P(a, b : INTEGER) : INTEGER;
BEGIN
  RETURN a + b
END P;
BEGIN
  ExitCode := P(1, 2)
END PBadFwd.