int MPI_Finalize(void) { MPI_Barrier(MPI_COMM_WORLD); do implementation dependent clean up; return(MPI_SUCCESS); }