operator          361 src/usermenu.c     char operator;
operator          374 src/usermenu.c         operator = *p++;
operator          392 src/usermenu.c         switch (operator)
operator          410 src/usermenu.c         debug_out (&operator, NULL, *result);