20extern sigjmp_buf restart;
 
   22void inactive_interrupt_handler(
int sig);
 
   23void active_interrupt_handler(
int sig);
 
   24void maybe_handle_active_interrupt(
void);
 
   25int active_interrupt_pending(
DBPROCESS * dbproc);
 
   26int active_interrupt_servhandler(
DBPROCESS * dbproc);