The text 5b7db1d7d059, as Debian 12 (Bookworm) shipped it.
type_hvector
MPI_Type_hvector(3) on Linux now
