pub const ctlz: Symbol;