Constant default_trait4 

pub const default_trait4: Symbol;