int WXYX = wxyx

Deprecated, use wxyx instead.