EXTERN_VAR BOOLEAN singular_in_batchmode
EXTERN_VAR volatile BOOLEAN do_shutdown
void init_signals()
init signal handlers and error handling for libraries: NTL, factory
EXTERN_VAR int siRandomStart
EXTERN_VAR short si_restart
EXTERN_VAR jmp_buf si_start_jmpbuf
EXTERN_VAR volatile int defer_shutdown