SHA3_512_Init
SHA3_512_Init(sha3512);
SHA3_512_Init(sha3512);
SHA3_512_Init(&ctx);
SHA3_512_Init(sha3512);
__weak_alias(SHA3_512_Init,_SHA3_512_Init)
void SHA3_512_Init(SHA3_512_CTX *);