Constant default_trait3 

pub const default_trait3: Symbol;