+ xbt_free(smpi_mpi_global->mpi_byte);
+ xbt_free(smpi_mpi_global->mpi_char);
+ xbt_free(smpi_mpi_global->mpi_int);
+ xbt_free(smpi_mpi_global->mpi_double);
+ xbt_free(smpi_mpi_global->mpi_float);
+
+ xbt_free(smpi_mpi_global->mpi_land);
+ xbt_free(smpi_mpi_global->mpi_sum);
+ xbt_free(smpi_mpi_global->mpi_prod);
+ xbt_free(smpi_mpi_global->mpi_max);
+ xbt_free(smpi_mpi_global->mpi_min);
+
+ xbt_free(smpi_mpi_global);