some fun with avx