__assfail
extern void __assfail(const char *, const char *, int) __NORETURN;
__assfail(assertion, filename, line_num);
__assfail(buf, filename, line_num);