seccompのコードをz3に落とし込んでくれる君