-rw-r--r-- 60 saferewrite-20240807/src/verify_8/api raw
in uint8 x 8 in uint8 y 8 call crypto_verify return int32 z