TDG_XML_INT64_ARR
} else if (xmlStrcmp(type, (xmlChar *)TDG_XML_INT64_ARR) == 0) {
TDG_XML_INT64_ARR);