pub fn finish(aad_len: usize, cipher_len: usize, st: PolyState) -> Poly1305Tag