return int32 z in int32 x call int32_topbit_mask