//@ skip if $model == "Apple Watch Series 3" # added by mark-jsc-stress-test.py
function f(a,b) {
    var result = 0;
    for (var i = 0; i < 1000; i++)
        result = (result + Math.imul(a,b)) | 0
    return result;
}
var result = 0;
for (var i = 0; i < 1000; i++)
    result = result + f(result | 1, i+0.5) ^ f(i+1.3, result | 1);

if (result != -1567919232) 
    throw "Bad result: " + result;