return uint32 mask
in uint32 x
call uint32_zero_01