-void AbEnd (const char* Format, ...) attribute ((format (printf, 1, 2)));
+void AbEnd (const char* Format, ...) attribute ((format (printf, 1, 2), noreturn));
/* Print a message preceeded by the program name and terminate the program
* with an error exit code.
*/