-rw-r--r-- 61 saferewrite-20210915/src/cmp_64xint16/api
in int16 x 64
in int16 y 64
call cmp_64xint16
return int32 z