pub fn chacha20_update(st0: State, m: &ByteSeq) -> ByteSeq