record_menu_key  9786 src/keyboard.c 	  record_menu_key (XCAR (value));
record_menu_key  9798 src/keyboard.c 	      record_menu_key (XCAR (tem));
record_menu_key  8468 test/manual/etags/c-src/emacs/src/keyboard.c 	  record_menu_key (XCAR (value));
record_menu_key  8480 test/manual/etags/c-src/emacs/src/keyboard.c 	      record_menu_key (XCAR (tem));