If you've set up your main() to handle the Fail exception (as shown in Fail's documentation, then call this to end your program with an error message in an exception-safe way.
See Implementation
If you've set up your main() to handle the Fail exception (as shown in Fail's documentation, then call this to end your program with an error message in an exception-safe way.