__fail
__fail("stack overflow detected; terminated");
__fail("buffer overflow detected; terminated");
static void __fail(const char *) __attribute__((__noreturn__));