((eax ebx ecx edi edx esi num)
 (ebx eax ecx edi edx esi num)
 (ecx eax ebx edi edx esi)
 (edi eax ebx ecx edx esi num)
 (edx eax ebx ecx edi esi num)
 (esi eax ebx ecx edi edx num)
 (num eax ebx edi edx esi x0)
 (x0 num))
((num ecx) (x0 ebx))
