main              497 util/gif2rgb.c int main(int argc, char **argv)
main               71 util/gifbg.c   int main(int argc, char **argv)
main               43 util/gifbuild.c int main(int argc, char **argv)
main               51 util/gifclrmp.c int main(int argc, char **argv)
main               39 util/gifcolor.c int main(int argc, char **argv)
main               52 util/gifecho.c int main(int argc, char **argv)
main               50 util/giffilter.c int main(int argc, char **argv)
main               35 util/giffix.c  int main(int argc, char **argv)
main               51 util/gifhisto.c int main(int argc, char **argv)
main               71 util/gifinto.c int main(int argc, char **argv)
main               31 util/gifsponge.c int main(int argc, char **argv)
main               44 util/giftext.c int main(int argc, char **argv)
main               95 util/giftool.c int main(int argc, char **argv)
main               43 util/gifwedge.c int main(int argc, char **argv)