((eax ebx ecx edi edx esi y)
 (ebx eax ecx edi edx esi x y z)
 (ecx eax ebx edi edx esi)
 (edi eax ebx ecx edx esi)
 (edx eax ebx ecx edi esi)
 (esi eax ebx ecx edi edx)
 (x ebx y z)
 (y eax ebx x z)
 (z ebx x y))
((x ecx) (y edx) (z eax))