michael@0: // Binary: cache/js-dbg-32-16baceea5fe2-linux
michael@0: // Flags:
michael@0: //
michael@0: for (a in (function () {
michael@0:     return Iterator(function () {}).__proto__
michael@0: })()) {
michael@0:     ++b
michael@0: }