def hide_setuptools():
    modules = filter(_needs_hiding, sys.modules)
    _clear_modules(modules)
Return a formula representation of a SEXT instruction.
dataset/ETHPy150Open chalasr/Flask-P2P/venv/lib/python2.7/site-packages/setuptools/sandbox.py/hide_setuptools--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_sext