4 * The generated headerfile is also exported to C code!
7 #define EXT_DECL extern "C"
9 #define EXT_DECL /* empty */
18 EXT_DECL __attribute__ ((noreturn))
19 void panic (const char *format, ...) {
23 va_start (pvar, format);
24 vprintf (format, pvar);