1This directory contains some tools to verify Capstone output, 2as well as semantics of X86 machine code. 3