fn push_lengthed_bytes<D>(data: &mut D, bytes: &[u8], tag: Tag)where
    D: Vector<u8>,