mpi_finalize*
Terminates the MPI execution environment. Every process must call this predicate before exiting.