pub const xmlCharEncoding_XML_CHAR_ENCODING_8_859_8: xmlCharEncoding = 17;