ossl_sha3_final
int ossl_sha3_final(KECCAK1600_CTX *ctx, unsigned char *out, size_t outlen);
return ossl_sha3_final((KECCAK1600_CTX *)vctx, out, outlen);