int WZZW = wzzw

Deprecated, use wzzw instead.