debug_out 391 src/usermenu.c debug_out (debug_start, debug_end, condition); debug_out 411 src/usermenu.c debug_out (&operator, NULL, *result); debug_out 415 src/usermenu.c debug_out (NULL, NULL, TRUE);