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