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