return int64 z in int64 x call int64_zero_01