EXTERN_VAR jmp_buf si_start_jmpbuf
void init_signals(void)
init signal handlers and error handling for libraries: NTL, factory
EXTERN_VAR short si_restart
si_hdl_typ si_set_signal(int sig, si_hdl_typ signal_handler)
meta function for binding a signal to an handler
void sig_term_hdl_child(int)
EXTERN_VAR volatile BOOLEAN do_shutdown
EXTERN_VAR volatile int defer_shutdown
EXTERN_VAR BOOLEAN singular_in_batchmode
EXTERN_VAR int siRandomStart