xbt_dynar_t path = MC_record_from_string(path_string);
mc_record_item_t start = &xbt_dynar_get_as(path, 0, s_mc_record_item_t);
MC_record_replay(start, xbt_dynar_length(path));
xbt_dynar_free(&path);
xbt_dynar_t path = MC_record_from_string(path_string);
mc_record_item_t start = &xbt_dynar_get_as(path, 0, s_mc_record_item_t);
MC_record_replay(start, xbt_dynar_length(path));
xbt_dynar_free(&path);