#include unsigned char *loadgif(FILE *, int *, int *);