((cx edi esi)
 (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 s1)
 (s1 s0))
((cx ebx) (s0 ebx) (s1 esi))
