z3adapter
