c facet counting