char* saveptr = NULL; // for strtok_r()
char* id_copy = xbt_strdup(id);
const char* first_part = strtok_r(id_copy, "_", &saveptr);
char* saveptr = NULL; // for strtok_r()
char* id_copy = xbt_strdup(id);
const char* first_part = strtok_r(id_copy, "_", &saveptr);