TODO: verification/pex/magic
============================