READ              117 lib/dgif_lib.c     if (READ(GifFile, (unsigned char *)Buf, GIF_STAMP_LEN) != GIF_STAMP_LEN) {
READ              193 lib/dgif_lib.c     if (READ(GifFile, (unsigned char *)Buf, GIF_STAMP_LEN) != GIF_STAMP_LEN) {
READ              250 lib/dgif_lib.c     if (READ(GifFile, Buf, 3) != 3) {
READ              274 lib/dgif_lib.c             if (READ(GifFile, Buf, 3) != 3) {
READ              307 lib/dgif_lib.c     if (READ(GifFile, &Buf, 1) != 1) {
READ              354 lib/dgif_lib.c     if (READ(GifFile, Buf, 1) != 1) {
READ              381 lib/dgif_lib.c             if (READ(GifFile, Buf, 3) != 3) {
READ              531 lib/dgif_lib.c     if (READ(GifFile, &Buf, 1) != 1) {
READ              551 lib/dgif_lib.c     if (READ(GifFile, &Buf, 1) != 1) {
READ              559 lib/dgif_lib.c         if (READ(GifFile, &((*Extension)[1]), Buf) != Buf) {
READ              681 lib/dgif_lib.c     if (READ(GifFile, c, 2) != 2) {
READ              726 lib/dgif_lib.c     if (READ(GifFile, &Buf, 1) != 1) {
READ              736 lib/dgif_lib.c         if (READ(GifFile, &((*CodeBlock)[1]), Buf) != Buf) {
READ              761 lib/dgif_lib.c     if (READ(GifFile, &CodeSize, 1) < 1) {    /* Read Code size from file. */
READ             1043 lib/dgif_lib.c         if (READ(GifFile, Buf, 1) != 1) {
READ             1055 lib/dgif_lib.c         if (READ(GifFile, &Buf[1], Buf[0]) != Buf[0]) {