(although for 32-bit hardware it's a bit slower than it was).

Make gcc -Wall happy.