M2compiler-V3/compiler/tests/t_forward.mod

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