operator          362 src/usermenu.c     char operator;
operator          375 src/usermenu.c         operator = *p++;
operator          393 src/usermenu.c         switch (operator)
operator          411 src/usermenu.c         debug_out (&operator, NULL, *result);