-rw-r--r-- 51 saferewrite-20240620/src/sha512_300bytes/api raw
out uint8 h 64
call sha512_300bytes
in uint8 x 300