DEFAULT_COLOR_RED   62 util/gifbg.c       RedColor = DEFAULT_COLOR_RED,
DEFAULT_COLOR_RED   41 util/gifecho.c     RedColor = DEFAULT_COLOR_RED,