int () { //TODO RC: better use idToName.length -- which is really shows enumerator size (=number of entries) // Current implementation is checked by tests, but it seems there is no prod-code usages that // rely on current impl return valueToId.size(); }