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