int rotr32(int x, int n) { assert(n >= 0); assert((x >= 0) && (x <= mask32)); n &= mask5; return (x >> n) | shiftl32(x, (32 - n)); }