#ifndef MPEGUI_SAVE_GIF_H
#define MPEGUI_SAVE_GIF_H

void mpegui_save_gif(char fname[], int map_number);

#endif /* #ifndef MPEGUI_SAVE_GIF_H */