pub fn write_explicit_element<T: Asn1Writable>( writer: &mut Writer<'_>, val: &T, tag: u32, ) -> WriteResult