CounterC tests