return int32 mask
in int32 x
call int32_negative_01