pub const pointer_trait_fmt: Symbol;