((eax ebx ecx edi edx esi x0 x1 x2)
 (ebx eax ecx edi edx esi)
 (ecx eax ebx edi edx esi)
 (edi eax ebx ecx edx esi)
 (edx eax ebx ecx edi esi)
 (esi eax ebx ecx edi edx)
 (x0 eax x1 x2 x3)
 (x1 eax x0 x2 x3)
 (x2 eax x0 x1 x3)
 (x3 x0 x1 x2))
((x0 edx) (x1 edi) (x2 esi) (x3 ebx))
