MODULE tnestedmod;
// Local (nested) MODULE: exported procedure/var + init body.
MODULE acc;
  EXPORT Value, Bump;
  VAR y : INTEGER;
  PROCEDURE Value : INTEGER; BEGIN RETURN y END Value;
  PROCEDURE Bump; BEGIN y := y + 6 END Bump;
BEGIN y := 36 END acc;
VAR ExitCode : INTEGER;
BEGIN
  Bump();
  IF Value() = 42 THEN ExitCode := 42 ELSE ExitCode := 1 END
END tnestedmod.