pub const xmlCharEncoding_XML_CHAR_ENCODING_8_859_7: xmlCharEncoding = 16;