Portable 128-bit SIMD