The text 1c5e09bad8f3, as Debian 3.0 (Woody) shipped it.
Indicates whether MPI_Finalize has completed.
MPI_Finalized(3) on Linux now
