
        Counter names serialize as identifiers, not strings.

75bc88b