M2compiler-V3/compiler/tests/t_nested.mod

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