/*
 *  Saving GIF files:
 */

int app_save_gif(Image *img, const char *filename, int interlace);