debug_out         417 src/usermenu.c         debug_out (debug_start, debug_end, condition);
debug_out         437 src/usermenu.c         debug_out (&operator, NULL, *result);
debug_out         441 src/usermenu.c     debug_out (NULL, NULL, TRUE);