Straw man MPI_Reinit() interface