michael@0: // Binary: cache/js-dbg-32-c5b90ea7e475-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: var save__proto__ = __proto__;
michael@0: __proto__ = save__proto__;
michael@0: function bar(x, y) {
michael@0:   return x + y;
michael@0: }
michael@0: function foo(x, y) {
michael@0:   var a = 0;
michael@0:   for (var i = 0; i < 1000; i++) {
michael@0:     a += (this.toString);
michael@0:     a += bar(x, y);
michael@0:     a = bar(x, (a));
michael@0:     a += bar(x, y);
michael@0:   }
michael@0:   return a;
michael@0: }
michael@0: var q = foo(0, 1);
michael@0: print(q.toSource());