The text f3a5f9e17005, as Debian 3.0 (Woody) shipped it.
Set a name on a datatype
MPI_Type_set_name(3) on Linux now
