michael@0: // Binary: cache/js-dbg-64-01037ab16a65-linux
michael@0: // Flags: -j -m -a
michael@0: //
michael@0: o2 = this;
michael@0: function f0(o) { }
michael@0: function f4(o) { }
michael@0: (function() {
michael@0: Object.seal(o2);
michael@0: })();
michael@0: function f3(o) { }
michael@0: function f7(o) {
michael@0: var _var_ = o;
michael@0: --(_var_["-1"]);
michael@0: }
michael@0: for(var i1=0; i1<6; i1++) {
michael@0: f4(f3);
michael@0: f4 = wrap(f7);
michael@0: }
michael@0: f4(f0);
michael@0: 
michael@0: try { eval("var __proto__"); } catch(exc1) {}