iterator: rename private record
counter: use a private record