((abc s0 s1 s2 s3)
 (cx edi esi s2 s3)
 (eax ebx ecx edi edx esi)
 (ebx eax ecx edi edx esi)
 (ecx eax ebx edi edx esi)
 (edi cx eax ebx ecx edx esi)
 (edx eax ebx ecx edi esi)
 (esi cx eax ebx ecx edi edx)
 (s0 abc s1 s2 s3)
 (s1 abc s0 s2 s3)
 (s2 abc cx s0 s1 s3)
 (s3 abc cx s0 s1 s2))
((abc ebx) (cx ebx) (s0 esi) (s1 edi) (s2 eax) (s3 edx))
