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