Documented __builtin_prefetch line