$mask =   0xffffffff - 2**(32 - $bits) + 1;