-rw-r--r-- 33 saferewrite-20240807/src/int16_sort2/api raw
inout int16 x 2
call int16_sort2