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