SHA3_512_Update
SHA3_512_Update(sha3512, m, 200);
SHA3_512_Update(&ctx, d, 224/8);
SHA3_512_Update(&ctx, d, 256/8);
SHA3_512_Update(&ctx, d, 384/8);
SHA3_512_Update(sha3512, m, mlen[mi]);
SHA3_512_Update(&ctx, d, 512/8);
__weak_alias(SHA3_512_Update,_SHA3_512_Update)
void SHA3_512_Update(SHA3_512_CTX *, const uint8_t *, size_t);