@@ -418,7 +418,14 @@ def value(xml, enum):

 ### `enum`

 def enum(xml, value):

-    enum = xml.xpath(f"{ENUMS}/enum[@value='{value}']/@name")

+    def conv(s):

+        return int(s, 16 if s.startswith('0x') else 10)

+    value = conv(value)

+    enum = (

+        enum.get('name')

+        for enum in xml.xpath(f"{ENUMS}/enum")

+        if conv(enum.get('value')) == value

+    )

     return sorted(enum, key=key)