slow AVX code