-rw-r--r-- 51 saferewrite-20240622/src/sha256_200bytes/api raw
out uint8 h 32
call sha256_200bytes
in uint8 x 200