pub const Default: Symbol;