VAR jmp_buf si_start_jmpbuf
VAR BOOLEAN singular_in_batchmode
VAR volatile BOOLEAN do_shutdown
VAR volatile int defer_shutdown
void init_signals(void)
init signal handlers and error handling for libraries: NTL, factory
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)