/* 32-bit rotation. The C compiler is supposed to recognize it as a rotation and use the local architecture rotation opcode (if available).  */
static uint32_t rotl(uint32_t x, int n)
/* 32-bit rotation. The C compiler is supposed to recognize it as a rotation and use the local architecture rotation opcode (if available).  */
static uint32_t rotl(uint32_t x, int n)
{
	return (x << n) | (x >> (32 - n));
}