((in (a b eax ebx ecx edi esi) (a b eax ebx ecx edi esi) (a b eax ebx ecx edi esi y) (a b eax ebx ecx edi esi) (b eax ebx ecx edi esi) (eax ebx ecx edi esi) (eax ecx edi esi) (eax edi esi)) (out (a b eax ebx ecx edi esi) (a b eax ebx ecx edi esi y) (a b eax ebx ecx edi esi) (b eax ebx ecx edi esi) (eax ebx ecx edi esi) (eax ecx edi esi) (eax edi esi) ()))