return TRUE;
void Gtk_icon_theme_append_search_path(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkIconTheme* object;  gchar* path;  /* no return value */  if ( ! gn_check_arity(XBUF, 2, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_ICON_THEME, (GObject**)&object) ) return;  if ( ! gn_get_arg_gchar(XBUF, B, I, &path) ) return;  gtk_icon_theme_append_search_path(object, path);  free(path);  gn_put_void(XBUF);}