The text 485f92e8a55e, as Debian 12 (Bookworm) shipped it.
Checks whether MPI has been initialized
MPI_Initialized.openmpi(3) on Linux now
