michael@0: // Binary: cache/js-dbg-32-a409054e1395-linux
michael@0: // Flags: -j
michael@0: //
michael@0: for (a = 0; a < 9; a++) {
michael@0:   "".charAt(3 / 0)
michael@0: }