return int32 mask
in int32 x
call int32_nonzero_01