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