reached_pairs = xbt_dynar_new(sizeof(mc_pair_reached_t), NULL);
//reached_pairs_hash = xbt_dynar_new(sizeof(mc_pair_reached_hash_t), NULL);
//visited_pairs = xbt_dynar_new(sizeof(mc_pair_visited_t), NULL);
reached_pairs = xbt_dynar_new(sizeof(mc_pair_reached_t), NULL);
//reached_pairs_hash = xbt_dynar_new(sizeof(mc_pair_reached_hash_t), NULL);
//visited_pairs = xbt_dynar_new(sizeof(mc_pair_visited_t), NULL);