PUSH_C_STR       9850 src/keyboard.c   PUSH_C_STR (": ", prompt_strings);
PUSH_C_STR       9966 src/keyboard.c 			  PUSH_C_STR (", ", menu_strings);
PUSH_C_STR       9983 src/keyboard.c 			  PUSH_C_STR (" = ", menu_strings);
PUSH_C_STR       9999 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);