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