pub const cttz_nonzero: Symbol;