clean_and_exit
static void __noreturn clean_and_exit(int i)
static void __attribute__((noreturn)) clean_and_exit(int i)