//@ skip if $model == "Apple Watch Series 3" # added by mark-jsc-stress-test.py
function foo() {
  var x = 4;
  var s;
  var i;
  for (i = 0; i < 2001; i++) {
    if (i == 2000)
      x = -4;
    s = 1/(x%4);
  }
  return s;
}

var x = (1/((-4)%4)).toString();
var y = foo().toString();

if (x != y)
    throw "Error: bad result: " + y + " (expected " + x + ")";