The text 3935ae96a247, as Debian 10 (Buster) shipped it.
Creates an indexed datatype.
MPI_Type_indexed.openmpi(3) on Linux now
