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