pub const dotdot: Symbol;