((in
  (s0 x0)
  (eax s0 x0)
  (eax ebx s0 x0)
  (eax ebx ecx s0 x0)
  (eax ebx ecx edx s0 x0)
  (eax ebx ecx edx esi s0 x0)
  (eax ebx ecx edi edx esi s0 x0)
  (eax ebx ecx edi edx esi)
  (ebx ecx edi edx esi)
  (ecx edi edx esi)
  (edi edx esi)
  (edi esi)
  (edi))
 (out
  (eax s0 x0)
  (eax ebx s0 x0)
  (eax ebx ecx s0 x0)
  (eax ebx ecx edx s0 x0)
  (eax ebx ecx edx esi s0 x0)
  (eax ebx ecx edi edx esi s0 x0)
  (eax ebx ecx edi edx esi)
  (ebx ecx edi edx esi)
  (ecx edi edx esi)
  (edi edx esi)
  (edi esi)
  (edi)
  ()))
