int WXZX = wxzx

Deprecated, use wxzx instead.