/* ISC license. */ #include void sha512_init (SHA512Schedule *ctx) { SHA512Schedule empty = SHA512_INIT() ; *ctx = empty ; }