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