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