int WZXW = wzxw

Deprecated, use wzxw instead.