int WXXY = wxxy

Deprecated, use wxxy instead.