The text a7af98ff52c7, as Debian 4.0 (Etch) shipped it.
Get the name associated with a datatype
MPI_Type_get_name(3) on Linux now
