{"library":"pyvex","install":[{"cmd":"pip install pyvex","imports":["import pyvex","from pyvex import IRSBCaller","from pyvex import IRExpr"]}]}