michael@0: // Binary: cache/js-dbg-32-7c6f62fcbd91-linux
michael@0: // Flags: -m
michael@0: //
michael@0: function f() {
michael@0:     (function () {
michael@0:         x;
michael@0:         function a() {}
michael@0:         print(a)
michael@0:     })()
michael@0: }
michael@0: __defineGetter__("x", gc)
michael@0: f()