+ /** Produce an error message indicating that the application crashed (status was produced by waitpid) */
+ XBT_ATTRIB_NORETURN void report_crash(int status);
+ /** Produce an error message indicating that a property was violated */
+ XBT_ATTRIB_NORETURN void report_assertion_failure();
+