Z3-str 1.0.0 init