The text e82a26cdb853, as Debian 9 (Stretch) shipped it.
Checks whether MPI has been initialized
MPI_Initialized.openmpi(3) on Linux now
