{

// do not free after call to MPI_FInalize

int finalized=0;

BOOST_MPI_CHECK_RESULT(MPI_Finalized,(&finalized));

if (!finalized) {

// ignore errors in the destructor

for (stored_map_type::iterator it=impl->map.begin(); it != impl->map.end(); ++it)

MPI_Type_free(&(it->second));

// We explicitly created this one, as there is no equivalent in the MPI standard

MPI_Datatype bool_type = get_mpi_datatype(bool());

MPI_Type_free(&bool_type);

}

{

stored_map_type::iterator pos = impl->map.find(t);

if (pos != impl->map.end())

return pos->second;

else

return MPI_DATATYPE_NULL;