extern void gettty(void);
extern void settty(const char *);
extern void setftty(void);
-extern void error(const char *, ...) PRINTF_F(1, 2);
+extern void error(const char *, ...) PRINTF_F(1, 2) NORETURN;
#if defined(TIMED_DELAY) && defined(_MSC_VER)
extern void msleep(unsigned);
#endif
extern void setftty(void);
extern void intron(void);
extern void introff(void);
-extern void error (const char *, ...) PRINTF_F(1, 2);
+extern void error (const char *, ...) PRINTF_F(1, 2) NORETURN;
#ifdef ENHANCED_SYMBOLS
extern void tty_utf8graphics_fixup(void);
#endif
extern void setftty(void);
extern void intron(void);
extern void introff(void);
-extern void error (const char *, ...) PRINTF_F(1, 2);
+extern void error (const char *, ...) PRINTF_F(1, 2) NORETURN;
#ifdef TIMED_DELAY
extern void msleep(unsigned);
#endif