MODULE TFwdProc;
// Two-phase parse: a module-level procedure body may call a procedure
// declared later in the module — no FORWARD declaration needed, because
// bodies are parsed after the unit's declarations.  Exit 7.
VAR ExitCode : INTEGER;

PROCEDURE Main;
BEGIN
  Helper;
  ExitCode := 7
END Main;

PROCEDURE Helper;
BEGIN
END Helper;

BEGIN
  Main
END TFwdProc.