__kernel void rotl(__global int * out, unsigned arg0, unsigned arg1)
{
  out[0] = (arg0 << arg1) | (arg0 >> (32 - arg1));
}