The text 862fa41facad, as Debian 12 (Bookworm) shipped it.
Checks whether MPI has been finalized
MPI_Finalized.openmpi(3) on Linux now
