int WWZW = wwzw

Deprecated, use wwzw instead.