_z3_vTyp