operator          388 src/usermenu.c     char operator;
operator          401 src/usermenu.c         operator = *p++;
operator          419 src/usermenu.c         switch (operator)
operator          437 src/usermenu.c         debug_out (&operator, NULL, *result);