michael@0: // Binary: cache/js-dbg-64-d708c2fa7fea-linux
michael@0: // Flags:
michael@0: //
michael@0: var o0 = Iterator.prototype;
michael@0: function f0(o) {}
michael@0: try {
michael@0:   for(var i=0; i<7; i++) {
michael@0:     try { o0.prototype(); } catch(e) {
michael@0:       if (o0.next() != 7)
michael@0:         throw "7 not yielded";
michael@0:     };
michael@0:   }
michael@0: } catch(exc1) {}