-rw-r--r-- 73 saferewrite-20210904/src/core_wforcesntrup761/api
call crypto_core
out int8 out 761
in int8 in 761
in int8 k 0
in int8 c 0