done_intr
done_intr(notused);
(void) signal(SIGINT, done_intr);
(void) signal(SIGQUIT, done_intr);
void done_intr(int);