pub const xmlCharEncoding_XML_CHAR_ENCODING_8_859_6: xmlCharEncoding = 15;