pub const other: Symbol;