return uint32 z
in uint32 x
call uint32_bottombit_mask