return int32 z
in int32 x
call int32_topbit_01