inout uint64 x 2
call uint64_sort2