(
  (in
    (eax ecx edi esi)
    (eax ecx edi esi)
    (ecx edi esi x)
    (edi esi x y)
    (edi esi x)
    (eax edi esi)
  )
  (out
    (eax ecx edi esi)
    (ecx edi esi x)
    (edi esi x y)
    (edi esi x)
    (eax edi esi)
    ()
  )
)
