Yes indeed, that's a much better idea than doing "manual prefetch" here.