int WYXW = wyxw

Deprecated, use wyxw instead.