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