Constant xmlCharEncoding_XML_CHAR_ENCODING_8859_4

pub const xmlCharEncoding_XML_CHAR_ENCODING_8859_4: xmlCharEncoding = 13;