-rw-r--r-- 31 saferewrite-20240807/src/int8_sort2/api raw
inout int8 x 2 call int8_sort2