TDG_XML_UINT64
} else if (xmlStrcmp(type, (xmlChar *)TDG_XML_UINT64) == 0) {
TDG_XML_UINT64, TDG_XML_VALUE, value);
TDG_XML_UINT64, TDG_XML_VALUE, value);
TDG_XML_NVPAIR, TDG_XML_NAME, name, TDG_XML_TYPE, TDG_XML_UINT64,