michael@0: // Binary: cache/js-dbg-64-290712e55ade-linux
michael@0: // Flags: -j
michael@0: //
michael@0: var o9 = Function.prototype;
michael@0: var o13 = Array;
michael@0: function f5(o) {
michael@0: o.watch('p3', function() {});
michael@0: ox1 = wrap(o);
michael@0: }
michael@0: f5(o9);
michael@0: f5(o13);
michael@0: var o0 = [];
michael@0: function f3(o) {
michael@0:             var prop = Object.getOwnPropertyNames(ox1)[0];
michael@0:             if (prop) { Object.defineProperty(ox1, prop, {configurable: true,enumerable: true,unused: 1 }); }
michael@0: }(function() {
michael@0: for(var o3 in o0) {
michael@0: f3(f3);
michael@0: }
michael@0: })();
michael@0:   for (var i = 0; i < 9; i++)
michael@0:   {
michael@0:     new Array(1, 2);
michael@0:   }