NAME

z3.pir - z3 bytecode compiler

DESCRIPTION

Compile z3 to PIR and run it.

TODO

clear attributes to PMCNULL

fix missing attribute err mess

implement super()

clarify attribute inheritance