__libc_message (1, "*** buffer overflow detected ***: %s terminated\n",
__libc_message (2, "*** buffer overflow detected ***: %s terminated\n",
__chk_fail (void){  /* The loop is added only to keep gcc happy.  */  while (1)    __libc_message (1, "*** buffer overflow detected ***: %s terminated\n",		    __libc_argv[0] ?: "<unknown>");}