extern char *signal_names[NSIG + 4];
void initialize_signames ();