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