int WXXX = wxxx

Deprecated, use wxxx instead.