__libc_message (1, "*** buffer overflow detected ***: %s terminated\n", __libc_argv[0] ?: "<unknown>");
while (1) __libc_message (1, "*** buffer overflow detected ***: %s terminated\n", __libc_argv[0] ?: "<unknown>");
__chk_fail (void){  __libc_message (1, "*** buffer overflow detected ***: %s terminated\n",		  __libc_argv[0] ?: "<unknown>");}