int WXWZ = wxwz

Deprecated, use wxwz instead.