2x speedup from __builtin_prefetch