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
EXTERN_VAR volatile BOOLEAN do_shutdown
EXTERN_VAR volatile int defer_shutdown
EXTERN_VAR BOOLEAN singular_in_batchmode
EXTERN_VAR int siRandomStart