Update z3.c