int WWXW = wwxw

Deprecated, use wwxw instead.