-rw-r--r-- 43 saferewrite-20240807/src/sha3512_72/api raw
out int8 h 64
in int8 m 72
call sha3512_72