elaborate genCounters