michael@0: var o = {};
michael@0: function f() {
michael@0:     function g() {
michael@0:         x = 80;
michael@0:         return x;
michael@0:     };
michael@0:     Object.defineProperty(o, "f", {get:g});
michael@0:     var [x] = 0;
michael@0:     x = {};
michael@0:     2 + o.f;
michael@0:     print(x);
michael@0: }
michael@0: f();