do_quit
signal(SIGINT, do_quit);
static void do_quit(int);
int do_quit; /* Quit after one cleaning loop */
do_quit = 1;
if (do_quit)