michael@0: // Binary: cache/js-dbg-32-33f1ad45ccb8-linux
michael@0: // Flags: -m -n
michael@0: //
michael@0: function f() {
michael@0:   var N = 624;
michael@0:   this.init_genrand = function(s) {
michael@0:     for (z = 1; z < N; z++) {}
michael@0:   };
michael@0: }(function() {
michael@0:   new f;
michael@0: }());
michael@0: function g(o) {
michael@0:   var props = Object.getOwnPropertyNames(o);
michael@0:   var prop = props[props.length - 1] + "p"
michael@0:   o[prop] = Number.prototype.__proto__;
michael@0: }
michael@0: g(Number.prototype.__proto__);