michael@0: // Binary: cache/js-dbg-64-0d2a1a6e967f-linux
michael@0: // Flags: -j -m
michael@0: //
michael@0: function f() {
michael@0:     for (var i = 0; i < 2; ++i) {}
michael@0: }
michael@0: for (let a = 0; a < 40; a++) {
michael@0:     f((new Array) ^ 0)
michael@0: }