مساعدة في تعريف z3xعلى win 7 64 bit