z3/resources/z3.snk