return uint32 mask
in uint32 x
call uint32_nonzero_01