3 ms·

Prefetching still may make it way faster.