test the counter_traits size() and at() methods