36a37
> intsig ILEAVE   'I_LEAVE'
39a41
> intsig REBP     'REG_EBP'       # Base Pointer
86c88
< 	       IOPL, IJXX, ICALL, IRET, IPUSHL, IPOPL };
---
> 	       IOPL, IJXX, ICALL, IRET, IPUSHL, IPOPL, ILEAVE };
93c95,96
< 	icode in { IPOPL, IRET } : RESP;
---
> 	icode in { IPOPL, IRET} : RESP;
>         icode in { ILEAVE } : REBP;
100c103
< 	icode in { IPUSHL, IPOPL, ICALL, IRET } : RESP;
---
> 	icode in { IPUSHL, IPOPL, ICALL, IRET, ILEAVE } : RESP;
107c110
< 	icode in { IPUSHL, IPOPL, ICALL, IRET } : RESP;
---
> 	icode in { IPUSHL, IPOPL, ICALL, IRET, ILEAVE } : RESP;
113c116,117
< 	icode in { IMRMOVL, IPOPL } : rA;
---
> 	icode in { IMRMOVL, IPOPL} : rA;
>         icode in { ILEAVE } : REBP;
121c125
< 	icode in { IRRMOVL, IOPL } : valA;
---
> 	icode in { IRRMOVL, IOPL, ILEAVE } : valA;
132c136,137
< 	icode in { IRRMOVL, IIRMOVL } : 0;
---
> 	icode in { IRRMOVL, IIRMOVL} : 0;
>         icode in { ILEAVE } : 4;
148c153
< bool mem_read = icode in { IMRMOVL, IPOPL, IRET };
---
> bool mem_read = icode in { IMRMOVL, IPOPL, IRET, ILEAVE };
151c156
< bool mem_write = icode in { IRMMOVL, IPUSHL, ICALL };
---
> bool mem_write = icode in { IRMMOVL, IPUSHL, ICALL};
156c161
< 	icode in { IPOPL, IRET } : valA;
---
> 	icode in { IPOPL, IRET, ILEAVE } : valA;