operator          375 src/usermenu.c     char operator;
operator          388 src/usermenu.c         operator = *p++;
operator          406 src/usermenu.c         switch (operator)
operator          424 src/usermenu.c         debug_out (&operator, NULL, *result);