((eax ebx ecx edi edx esi s0 s1 x0 x1)
 (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)
 (s0 eax s1 x0 x1)
 (s1 eax s0 x0 x1)
 (x0 eax s0 s1 x1)
 (x1 eax s0 s1 x0))
((s0 esi) (s1 ebx) (x0 edx) (x1 edi))
