MODULE PNested; VAR ExitCode : INTEGER; PROCEDURE Outer; VAR o : INTEGER; PROCEDURE Inner : INTEGER; BEGIN RETURN o + 1 END Inner; BEGIN o := 41; ExitCode := Inner() END Outer; BEGIN Outer END PNested.