int WZZX = wzzx

Deprecated, use wzzx instead.