TERMINATE_RECORD_TYPE  320 lib/dgif_lib.c           *Type = TERMINATE_RECORD_TYPE;
TERMINATE_RECORD_TYPE 1171 lib/dgif_lib.c           case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE 1177 lib/dgif_lib.c     } while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  464 util/gif2rgb.c 	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  469 util/gif2rgb.c     } while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  243 util/gifclrmp.c 	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  249 util/gifclrmp.c     while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  130 util/giffilter.c 	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  136 util/giffilter.c     while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  180 util/giffix.c  	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  186 util/giffix.c      while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  160 util/gifhisto.c 	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  166 util/gifhisto.c     while (RecordType != TERMINATE_RECORD_TYPE);
TERMINATE_RECORD_TYPE  290 util/giftext.c 	    case TERMINATE_RECORD_TYPE:
TERMINATE_RECORD_TYPE  296 util/giftext.c     while (RecordType != TERMINATE_RECORD_TYPE);