Array.z3()