((in
  (num x0 x1)
  (eax num x0 x1)
  (eax ebx num x0 x1)
  (eax ebx ecx num x0 x1)
  (eax ebx ecx edx num x0 x1)
  (eax ebx ecx edx esi num x0 x1)
  (eax ebx ecx edi edx esi num x0 x1)
  (eax ebx ecx edi edx esi num x1)
  (eax ebx ecx edi edx esi)
  (ebx ecx edi edx esi)
  (ecx edi edx esi)
  (edi edx esi)
  (edi esi)
  (edi))
 (out
  (eax num x0 x1)
  (eax ebx num x0 x1)
  (eax ebx ecx num x0 x1)
  (eax ebx ecx edx num x0 x1)
  (eax ebx ecx edx esi num x0 x1)
  (eax ebx ecx edi edx esi num x0 x1)
  (eax ebx ecx edi edx esi num x1)
  (eax ebx ecx edi edx esi)
  (ebx ecx edi edx esi)
  (ecx edi edx esi)
  (edi edx esi)
  (edi esi)
  (edi)
  ()))
