Example becomes fancier. AVX interleave is 8 + 8 -> 16, not 4 + 4 -> 8.