//@ skip if $model == "Apple Watch Series 3" # added by mark-jsc-stress-test.py
function slice(string, start, end)
{
return string.slice(start, end);
}
noInline(slice);
for (var i = 0; i < 1e6; ++i)
slice("Cocoa", 3, 3);