+int surf_cfg_get_int(char* name)
+{
+ return xbt_cfg_get_int(_surf_cfg_set,name);
+}
+double surf_cfg_get_double(char* name)
+{
+ return xbt_cfg_get_double(_surf_cfg_set,name);
+}
+char* surf_cfg_get_string(char* name)
+{
+ return xbt_cfg_get_string(_surf_cfg_set,name);
+}
+void surf_cfg_get_peer(const char *name, char **peer, int *port)
+{
+ xbt_cfg_get_peer(_surf_cfg_set,name, peer, port);
+}
+xbt_dynar_t surf_cfg_get_dynar(char* name)
+{
+ return xbt_cfg_get_dynar(_surf_cfg_set,name);
+}