((eax ebx ecx edi edx esi sx)
 (ebx eax ecx edi edx esi sx)
 (ecx eax ebx edi edx esi)
 (edi eax ebx ecx edx esi sx)
 (edx eax ebx ecx edi esi sx)
 (esi eax ebx ecx edi edx sx)
 (sx eax ebx edi edx esi x0 x1)
 (x0 sx x1)
 (x1 sx x0))
((sx ecx) (x0 ebx) (x1 esi))
