+XBT_PUBLIC(int) surf_cfg_get_int(char* name);
+XBT_PUBLIC(double) surf_cfg_get_double(char* name);
+XBT_PUBLIC(char*) surf_cfg_get_string(char* name);
+XBT_PUBLIC(void) surf_cfg_get_peer(const char *name, char **peer, int *port);
+XBT_PUBLIC(xbt_dynar_t) surf_cfg_get_dynar(char* name);