An implementation of the GIF image format