int WXWX = wxwx

Deprecated, use wxwx instead.