GIF_STAMP_LEN      73 lib/dgif_lib.c     char Buf[GIF_STAMP_LEN + 1];
GIF_STAMP_LEN     117 lib/dgif_lib.c     if (READ(GifFile, (unsigned char *)Buf, GIF_STAMP_LEN) != GIF_STAMP_LEN) {
GIF_STAMP_LEN     127 lib/dgif_lib.c     Buf[GIF_STAMP_LEN] = 0;
GIF_STAMP_LEN     158 lib/dgif_lib.c     char Buf[GIF_STAMP_LEN + 1];
GIF_STAMP_LEN     193 lib/dgif_lib.c     if (READ(GifFile, (unsigned char *)Buf, GIF_STAMP_LEN) != GIF_STAMP_LEN) {
GIF_STAMP_LEN     202 lib/dgif_lib.c     Buf[GIF_STAMP_LEN] = '\0';