encode_menu_string  477 src/menu.c     	push_menu_item (encode_menu_string (item), Qnil, Qnil, Qt,
encode_menu_string  483 src/menu.c     	  push_menu_item (encode_menu_string (item1), Qt, XCDR (item),
encode_menu_string  508 src/menu.c           push_menu_pane (encode_menu_string (pane_name), Qnil);