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