pub fn sha3512(data: &ByteSeq) -> Digest512