return TRUE;
void Gtk_icon_theme_get_for_screen(int ARI, ei_x_buff *XBUF, char *B, int *I){  GdkScreen* screen;  GObject* R;  if ( ! gn_check_arity(XBUF, 1, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_SCREEN, (GObject**)&screen) ) return;  R = (GObject*)gtk_icon_theme_get_for_screen(screen);  gn_put_object(XBUF,R);}