Function crypto_hash_sha3512_final 

pub fn crypto_hash_sha3512_final(
    state: Sha3512State,
    output: &mut Sha3512Digest,
)

Finalizes state of SHA3-512, and writes the digest to output consuming state.