M2compiler-V1/tests/p_bad_proper.mod

MODULE PBadProper;
VAR ExitCode : INTEGER;
PROCEDURE DoIt(x : INTEGER);
BEGIN
  ExitCode := x
END DoIt;
BEGIN
  ExitCode := DoIt(1) + 2
END PBadProper.