We'll introduce a new "Fatal" exception for this purpose, and throw it when
we just want to print a user message and abort immediately.