The text 7fe9dbcee045, as Debian 12 (Bookworm) shipped it.
Terminates MPI execution environment.
MPI_Finalize.openmpi(3) on Linux now
