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