I mean you'd get the same number of page faults with both examples, so I think the discrepency is explainable by caches/cpu prefetching.