- int xbt_cfg_get_int_at (xbt_cfg_t cfg, const char *name, int pos);
- double xbt_cfg_get_double_at(xbt_cfg_t cfg, const char *name, int pos);
- char* xbt_cfg_get_string_at(xbt_cfg_t cfg, const char *name, int pos);
- void xbt_cfg_get_host_at (xbt_cfg_t cfg, const char *name, int pos, char **host, int *port);
+ XBT_PUBLIC int xbt_cfg_get_int_at (xbt_cfg_t cfg, const char *name, int pos);
+ XBT_PUBLIC double xbt_cfg_get_double_at(xbt_cfg_t cfg, const char *name, int pos);
+ XBT_PUBLIC char* xbt_cfg_get_string_at(xbt_cfg_t cfg, const char *name, int pos);
+ XBT_PUBLIC void xbt_cfg_get_peer_at (xbt_cfg_t cfg, const char *name, int pos, char **peer, int *port);