return TRUE;
void Gtk_menu_shell_insert(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkMenuShell* object;  GtkWidget* child;  gint position;  /* no return value */  if ( ! gn_check_arity(XBUF, 3, 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**)&child) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &position) ) return;  gtk_menu_shell_insert(object, child, position);  gn_put_void(XBUF);}