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