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