[silvester23]

That is actually an occasional problem for us because identifiers, including Enum values in Python (and probably some other languages) cannot start with a digit.