Introduce "native symbolic execution" terminology