int WZWW = wzww

Deprecated, use wzww instead.