I agree: I think we can naturally set up a situation where MPI_ABORT() is called when in parallel, exit(1) otherwise. User can catch this of course, but otherwise things are ended by default.