int WWXZ = wwxz

Deprecated, use wwxz instead.