MODULE TNestedProc;
// Nested procedure reading/writing parent locals. Exit 20.
VAR ExitCode : INTEGER;
PROCEDURE Outer(x : INTEGER);
VAR y : INTEGER;
  PROCEDURE Inner;
  BEGIN
    y := y + x
  END Inner;
BEGIN
  y := 10;
  Inner;
  Inner;
  ExitCode := y
END Outer;
BEGIN
  Outer(5)
END TNestedProc.