MODULE TBadNestFwd;
// A nested procedure whose body names a parent local declared *later*
// is no longer tolerated (the forward-variable machinery is gone with
// the two-phase parse): a plain 201.  Expects "undeclared identifier".
VAR ExitCode : INTEGER;

PROCEDURE Outer;
  PROCEDURE Inner;
  BEGIN
    x := 5
  END Inner;
  VAR x : INTEGER;
BEGIN
  Inner
END Outer;

BEGIN
  Outer
END TBadNestFwd.