M2compiler-V1/tests/p_bad_actual.mod

MODULE PBadActual;
VAR ExitCode : INTEGER;
PROCEDURE Take(b : BOOLEAN) : INTEGER;
BEGIN
  IF b THEN RETURN 1 ELSE RETURN 0 END
END Take;
BEGIN
  ExitCode := Take(5)
END PBadActual.