/* * These select 32-bit halves of what may be 32- or 64-bit quantities, * for which straight 32-bit shifts may be undefined behaviour (and do * the wrong thing on most machines: return the input unshifted by * ignoring the upper bits of the shift count). */