int WZXY = wzxy

Deprecated, use wzxy instead.