((a b eax ebx ecx edi esi y) (b a eax ebx ecx edi esi y) (eax a b ebx ecx edi edx esi y) (ebx a b eax ecx edi edx esi y) (ecx a b eax ebx edi edx esi y) (edi a b eax ebx ecx edx esi y) (edx eax ebx ecx edi esi) (esi a b eax ebx ecx edi edx y) (y a b eax ebx ecx edi esi))
#f
