MODULE RNested;
VAR ExitCode : INTEGER;
PROCEDURE Outer(n : INTEGER) : INTEGER;
VAR loc : INTEGER;
  PROCEDURE Nested(t : INTEGER) : INTEGER;
  BEGIN
    RETURN t + loc + n
  END Nested;
BEGIN
  loc := 100;
  RETURN Nested(1) + Nested(2)
END Outer;
BEGIN
  ExitCode := Outer(5)
END RNested.