The text b78c775cccd4, as Debian 12 (Bookworm) shipped it.
Finalize an MPI Session
MPI_Session_finalize(3) on Linux now
