int WXXW = wxxw

Deprecated, use wxxw instead.