pub const ctpop: Symbol;