michael@0: // Binary: cache/js-dbg-32-175ef7145705-linux
michael@0: // Flags: -j
michael@0: //
michael@0: for (let cc = 0; cc < 3; ++cc) {
michael@0:     var c = cc;
michael@0:     print("" + new Number(.5));
michael@0:     for each (b in [0 / 0, 0 / 0]) {}
michael@0: }