dbg z3