mkRednCountsLabel       name    =
  IdLabel name NoCafRefs RednCounts
mkRednCountsLabel       name    =
  IdLabel name NoCafRefs RednCounts
mkRednCountsLabel       name    =
  IdLabel name NoCafRefs RednCounts