Pavan raised an interesting use case for catastrophic errors just now on the issue page: https://github.com/mpi-forum/mpi-issues/issues/28#issuecomment-319980621

I'm not sure if everyone tracks what's going on there or not, but it would be helpful to have some other feedback on the GitHub issue. For now, I'm going to reopen the issue so we can decide whether we want to move forward.