/* This file is part of the Simba project.  */
static uint32_t rotateleft(uint32_t value, int positions)
/* This file is part of the Simba project.  */
static uint32_t rotateleft(uint32_t value, int positions)
{
    return ((value << positions) | (value >> (32 - positions)));
}