return TRUE;
void Gtk_image_set_from_animation(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkImage* object;  GdkPixbufAnimation* animation;  /* no return value */  if ( ! gn_check_arity(XBUF, 2, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_IMAGE, (GObject**)&object) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_PIXBUF_ANIMATION, (GObject**)&animation) ) return;  gtk_image_set_from_animation(object, animation);  gn_put_void(XBUF);}