debug_end         392 src/usermenu.c         char *debug_start, *debug_end;
debug_end         414 src/usermenu.c         debug_end = p;
debug_end         416 src/usermenu.c         debug_out (debug_start, debug_end, condition);