((eax ebx ecx edi edx esi s0)
 (ebx eax ecx edi edx esi)
 (ecx eax ebx edi edx esi s0 s1)
 (edi eax ebx ecx edx esi s0 s1)
 (edx eax ebx ecx edi esi s0 s1)
 (esi eax ebx ecx edi edx s0 s1)
 (s0 eax ecx edi edx esi s1)
 (s1 ecx edi edx esi s0))
((s0 ebx) (s1 eax))
