pub const ctlz_nonzero: Symbol;