DumpExtensions    803 util/gifbuild.c 	DumpExtensions(GifFile, 
DumpExtensions    859 util/gifbuild.c     DumpExtensions(GifFile,