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