bad_signal
/*CONSTANTCONDITION*/ SIGNAL(SIGALRM, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGQUIT, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGABRT, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGFPE, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGILL, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGSEGV, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGBUS, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGEMT, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGPOLL, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGPROF, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGSYS, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGTRAP, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGVTALRM, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGXCPU, bad_signal);
/*CONSTANTCONDITION*/ SIGNAL(SIGXFSZ, bad_signal);
static void bad_signal __P((int));