#define __noreturn __attribute__((noreturn))