extern void os_restarting_signal(int, void (*)(int));
extern void os_non_restarting_signal(int, void (*)(int));
extern const char *os_strexit(int); /* char to match os_strsignal */
extern void os_restarting_signal(int, void (*)(int));
extern void os_non_restarting_signal(int, void (*)(int));
extern const char *os_strexit(int); /* char to match os_strsignal */