-rw-r--r-- 71 saferewrite-20210904/src/core_weightsntrup761/api
call crypto_core
out int8 out 2
in int8 in 761
in int8 k 0
in int8 c 0