XBT_PUBLIC(xbt_dynar_t) xbt_str_split_str(const char *s, const char *sep);
XBT_PUBLIC(char *) xbt_str_join(xbt_dynar_t dynar, const char *sep);
+XBT_PUBLIC(char *) xbt_str_join_array(const char *const *strs, const char *sep);
/* */
XBT_PUBLIC(void) xbt_str_subst(char *str, char from, char to, int amount);
/* */
XBT_PUBLIC(void) xbt_str_strip_spaces(char *);
-XBT_PUBLIC(char *) xbt_str_diff(char *a, char *b);
+XBT_PUBLIC(char *) xbt_str_diff(const char *a, const char *b);
XBT_PUBLIC(char *) xbt_str_from_file(FILE * file);