XBT_PUBLIC_DATA(short ) int surfxml_cabinet_suffix_isset;
XBT_PUBLIC_DATA(AT_surfxml_gpu_name ) AX_surfxml_gpu_name;
#define A_surfxml_gpu_name (surfxml_bufferstack + AX_surfxml_gpu_name)
XBT_PUBLIC_DATA(short ) int surfxml_gpu_name_isset;
XBT_PUBLIC_DATA(short ) int surfxml_cabinet_suffix_isset;
XBT_PUBLIC_DATA(AT_surfxml_gpu_name ) AX_surfxml_gpu_name;
#define A_surfxml_gpu_name (surfxml_bufferstack + AX_surfxml_gpu_name)
XBT_PUBLIC_DATA(short ) int surfxml_gpu_name_isset;