int WZXZ = wzxz

Deprecated, use wzxz instead.