int WXWY = wxwy

Deprecated, use wxwy instead.