int WZXX = wzxx

Deprecated, use wzxx instead.