/*
 *   This file was automatically generated by version 1.7 of cextract.
 *   Manual editing not recommended.
 */

#ifndef __CEXTRACT__
#ifdef __STDC__

extern unsigned char* ReadGIF ( FILE* fd,
                                int* w,
                                int* h,
                                int* ncolors,
                                int* cpp,
                                ThotColorStruct colrs[256] );
extern int ReadColorMap ( FILE* fd,
                          int number,
                          unsigned char buffer[3][256 ] );
extern int DoExtension ( FILE* fd,
                         int label );
extern int GetDataBlock ( FILE* fd,
                          unsigned char *buf );
extern int GetCode ( FILE* fd,
                     int code_size,
                     int flag );
extern int LWZReadByte ( FILE * fd,
                         int flag,
                         int input_code_size );
extern int highbit16 ( unsigned long ul );
extern Pixmap MakeMask ( Display* dsp,
                         char* pixelindex,
                         int w,
                         int h,
                         int bg );
extern XImage *MakeImage ( Display* dsp,
                           unsigned char *data,
                           int width,
                           int height,
                           int depth,
                           ThotColorStruct * colrs );
extern Pixmap DataToPixmap (unsigned char *image_data,
                             int width,
                             int height,
                             int num_colors,
                             ThotColorStruct colrs[256] );
extern unsigned char *ReadGifToData ( char *datafile,
                                      int *w,
                                      int *h,
                                      int *ncolors,
                                      int *cpp,
                                      ThotColorStruct colrs[256] );
extern ThotBitmap GifCreate ( char *fn,
                              PictureScaling pres,
                              int *xif,
                              int *yif,
                              int *wif,
                              int *hif,
                              unsigned long BackGroundPixel,
                              ThotBitmap * mask1 );
extern void GifPrint ( char *fn,
                       PictureScaling pres,
                       int xif,
                       int yif,
                       int wif,
                       int hif,
                       int PicXArea,
                       int PicYArea,
                       int PicWArea,
                       int PicHArea,
                       int filedesc,
                       unsigned long BackGroundPixel );
extern boolean IsGifFormat ( char *datafile );

#else /* __STDC__ */

extern unsigned char* ReadGIF (/* FILE* fd,
                                  int* w,
                                  int* h,
                                  int* ncolors,
                                  int* cpp,
                                  ThotColorStruct colrs[256] */);
extern int ReadColorMap (/* FILE* fd,
                            int number,
                            unsigned char buffer[3][256 ] */);
extern int DoExtension (/* FILE* fd,
                           int label */);
extern int GetDataBlock (/* FILE* fd,
                            unsigned char *buf */);
extern int GetCode (/* FILE* fd,
                       int code_size,
                       int flag */);
extern int LWZReadByte (/* FILE * fd,
                           int flag,
                           int input_code_size */);
extern int highbit16 (/* unsigned long ul */);
extern Pixmap MakeMask (/* Display* dsp,
                           char* pixelindex,
                           int w,
                           int h,
                           int bg */);
extern XImage *MakeImage (/* Display* dsp,
                             unsigned char *data,
                             int width,
                             int height,
                             int depth,
                             ThotColorStruct * colrs */);
extern Pixmap DataToPixmap (/* char *image_data,
                               int width,
                               int height,
                               int num_colors,
                               ThotColorStruct colrs[256] */);
extern unsigned char *ReadGifToData (/* char *datafile,
                                        int *w,
                                        int *h,
                                        int *ncolors,
                                        int *cpp,
                                        ThotColorStruct colrs[256] */);
extern ThotBitmap GifCreate (/* char *fn,
                                PictureScaling pres,
                                int *xif,
                                int *yif,
                                int *wif,
                                int *hif,
                                unsigned long BackGroundPixel,
                                ThotBitmap * mask1 */);
extern void GifPrint (/* char *fn,
                         PictureScaling pres,
                         int xif,
                         int yif,
                         int wif,
                         int hif,
                         int PicXArea,
                         int PicYArea,
                         int PicWArea,
                         int PicHArea,
                         int filedesc,
                         unsigned long BackGroundPixel */);
extern boolean IsGifFormat (/* char *datafile */);

#endif /* __STDC__ */
#endif /* __CEXTRACT__ */