//@ skip if $model == "Apple Watch Series 3" # added by mark-jsc-stress-test.py
function test(value)
{
    return Number(value);
}

var result = 0;
for (var i = 0; i < 1e4; ++i)
    result = test(i);
if (result !== 9999)
    throw new Error(`bad result ${result}`);