Use NORETURN instead of __attribute__((noreturn))