pub const marker_trait_attr: Symbol;