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