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