debug_out 404 src/usermenu.c debug_out (debug_start, debug_end, condition); debug_out 424 src/usermenu.c debug_out (&operator, NULL, *result); debug_out 428 src/usermenu.c debug_out (NULL, NULL, TRUE);