return TRUE;
void Gtk_menu_shell_select_item(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkMenuShell* object;  GtkWidget* menu_item;  /* no return value */  if ( ! gn_check_arity(XBUF, 2, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_MENU_SHELL, (GObject**)&object) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_WIDGET, (GObject**)&menu_item) ) return;  gtk_menu_shell_select_item(object, menu_item);  gn_put_void(XBUF);}