+XBT_PUBLIC_DATA(short ) int surfxml_trace_connect_kind_isset;
+XBT_PUBLIC_DATA(AT_surfxml_random_seed ) AX_surfxml_random_seed;
+#define A_surfxml_random_seed (surfxml_bufferstack + AX_surfxml_random_seed)
+XBT_PUBLIC_DATA(short ) int surfxml_random_seed_isset;
+XBT_PUBLIC_DATA(AT_surfxml_cluster_state_file ) AX_surfxml_cluster_state_file;
+#define A_surfxml_cluster_state_file (surfxml_bufferstack + AX_surfxml_cluster_state_file)
+XBT_PUBLIC_DATA(short ) int surfxml_cluster_state_file_isset;