out uint8 h 32
call sha256_200bytes
in uint8 x 200