michael@0: // Binary: cache/js-dbg-64-58c9dd4f0c1f-linux
michael@0: // Flags:
michael@0: //
michael@0: var o = {}
michael@0: Object.defineProperty(o, "x", {get: undefined, set: function() { Object.defineProperty(o, "x", {set: function() { }}); }, configurable: true});
michael@0: o.a = 0;
michael@0: o.x = 0;