source: CIVL/examples/mpi/simple/goodInitFinalize.c@ b7a3ce6

#include<mpi.h>

/* Only one process inits MPI.  This is OK. */

void main() {
        int argc;
        char **argv;
        
        if (PID == 0) {
                MPI_Init(&argc, &argv);
                MPI_Finalize();
        }
}