Generating definitions and calls to MPI_Init and MPI_Finalize