while (smpi_group_unuse(smpi_comm_group(instance->comm_world)) > 0);
xbt_free(instance->comm_world);
xbt_barrier_destroy(instance->finalization_barrier);
}
while (smpi_group_unuse(smpi_comm_group(instance->comm_world)) > 0);
xbt_free(instance->comm_world);
xbt_barrier_destroy(instance->finalization_barrier);
}