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