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