add __noreturn