XBT_PUBLIC(void) surf_parse_free_callbacks(void);
XBT_PUBLIC(void) surf_parse_get_double(double *value, const char *string);
XBT_PUBLIC(void) surf_parse_get_int(int *value, const char *string);
XBT_PUBLIC(void) surf_parse_free_callbacks(void);
XBT_PUBLIC(void) surf_parse_get_double(double *value, const char *string);
XBT_PUBLIC(void) surf_parse_get_int(int *value, const char *string);