MODULE TNested;
VAR ExitCode : INTEGER;
MODULE Inner;
VAR y : INTEGER;
BEGIN
  y := 2
END Inner;
BEGIN
  ExitCode := 3;
  y := 4
END TNested.