inout uint8 x 2 call uint8_sort2