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);