inout int64 x 2
call int64_sort2