We might want to put this in Environment once we have it (given that you can call MPI_Finalize after main), but let's keep it in main for now.