#include #include #include _weak [[noreturn]] bool __check_failed(const char* file, const char* line, const char* func, const char* expr) { // FIXME: Output to standard error instead of standard output. printf("Check failed at %s:%s in %s: %s\n", file, line, func, expr); abort(); }