Missing tags

[sevaa]

Addresses #484

[KShingala]

Dont think just adding enums is enough, I get the below error when I try you change,

elftools.construct.adapters.MappingError: no decoding mapping for 46 [tag]

[sevaa]

From here it's impossible to tell what are you doing and what's the exact nature of the error. Who wrote backend_z3.py - is that your script, or from some third party package? If the latter, why don't you report the issue to its authors and see if they can debug it?

Also, sorry for stating the obvious, we don't know how exactly did you apply this fix on your side. That, too, can be done correctly or incorrectly, and you are not telling.

[eliben]

This looks straightforward, thanks