do_scfdie
do_scfdie(int lineno)
#define scfdie() do_scfdie(__LINE__)
extern void do_scfdie(int) __NORETURN;
#define scfdie() do_scfdie(__LINE__)
#define scfdie() do_scfdie(__FILE__, __LINE__)
void do_scfdie(const char *, int);