int WZWZ = wzwz

Deprecated, use wzwz instead.