int WZWX = wzwx

Deprecated, use wzwx instead.