assertion_type
typedef void (*assertion_failure_callback)(const char *, int, assertion_type,
const char *assertion_type_to_text(assertion_type type);
__dead static void default_assertion_failed(const char *, int, assertion_type,
assertion_type_to_text(assertion_type type) {
default_assertion_failed(const char *file, int line, assertion_type type,