You essentially agree with me. Aborting with a stack trace is still an abort. It doesn't need to be catchable.