Added VERIFY macro