AVX-512: Converted to Unix style