out uint8 h 64
call sha512_300bytes
in uint8 x 300