XBT_PUBLIC(void) surf_parse_error(const char *msg) _XBT_GNUC_NORETURN;
XBT_PUBLIC(double) surf_parse_get_double(const char *string);
XBT_PUBLIC(int) surf_parse_get_int(const char *string);
XBT_PUBLIC(void) surf_parse_error(const char *msg) _XBT_GNUC_NORETURN;
XBT_PUBLIC(double) surf_parse_get_double(const char *string);
XBT_PUBLIC(int) surf_parse_get_int(const char *string);