((cx edi esi s2 s3)
 (eax ebx ecx edi edx esi s0 s1 s2 s3)
 (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 eax s1 s2 s3)
 (s1 eax s0 s2 s3)
 (s2 cx eax s0 s1 s3)
 (s3 cx eax s0 s1 s2))
((cx ebx) (s0 esi) (s1 ebx) (s2 edx) (s3 edi))
