MPI_Initialized
int MPI_Initialized(int *);
Determines if MPI is initialized.