Constant xmlCharEncoding_XML_CHAR_ENCODING_8859_7 

pub const xmlCharEncoding_XML_CHAR_ENCODING_8859_7: xmlCharEncoding = 16;