Initial work on anal/x86.cs esil