raise_default_signal
(void)raise_default_signal(signo);
(void)raise_default_signal(which_sig);
int raise_default_signal(int);
raise_default_signal(signo);
int raise_default_signal(int);
(void)raise_default_signal(signo);
(void)raise_default_signal(signo);
(void)raise_default_signal(signo);
(void)raise_default_signal(sig);
(void)raise_default_signal(sig);
(void)raise_default_signal(signo);
(void)raise_default_signal(signo);
(void)raise_default_signal(signo);
(void)raise_default_signal(which_sig);
(void)raise_default_signal(signo);
(void)raise_default_signal(signo);