Re: [Boost-users] mpi: is_mpi_datatype