int WXXZ = wxxz

Deprecated, use wxxz instead.