_Noreturn function specifier in C