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