z3_orig