Not super sure that I followed all the details in wjp's benchmarking, as I originally saw that shifting was faster than indexing, but IIRC
it all came down to that it could fall either way, but that picking one consistently instead of mixing was the only thing that gave consistently better results? Is this correct?