capstone>=5.0.6
click>=8.2.1
keystone-engine>=0.9.2
z3-solver>=4.15.0.0
