The text 340f7b60bc89, as Debian 10 (Buster) shipped it.
type_hvector
MPI_Type_hvector(3) on Linux now
