The text 7008d51be003, as Debian 10 (Buster) shipped it.
Gets the name of a data type.
MPI_Type_get_name.openmpi(3) on Linux now
