The text 9c456582653d, as Debian 10 (Buster) shipped it.
Initializes the MPI execution environment
MPI_Init.openmpi(3) on Linux now
