PUSH_C_STR       9439 src/keyboard.c   PUSH_C_STR (": ", prompt_strings);
PUSH_C_STR       9555 src/keyboard.c 			  PUSH_C_STR (", ", menu_strings);
PUSH_C_STR       9572 src/keyboard.c 			  PUSH_C_STR (" = ", menu_strings);
PUSH_C_STR       9588 src/keyboard.c 		      PUSH_C_STR ("...", menu_strings);
PUSH_C_STR       8532 test/manual/etags/c-src/emacs/src/keyboard.c   PUSH_C_STR (": ", prompt_strings);
PUSH_C_STR       8648 test/manual/etags/c-src/emacs/src/keyboard.c 			  PUSH_C_STR (", ", menu_strings);
PUSH_C_STR       8665 test/manual/etags/c-src/emacs/src/keyboard.c 			  PUSH_C_STR (" = ", menu_strings);
PUSH_C_STR       8681 test/manual/etags/c-src/emacs/src/keyboard.c 		      PUSH_C_STR ("...", menu_strings);