uint64_t __int64_lsr(uint64_t arg, int bits);
__int64_lsr shifts arg logically right by bits bit positions, shifting in zeros fro the left, and returns the shifted result.