Tiny fix to ISPC function args
Why is ISPC so slow?