inout int32 x 2
call int32_sort2