pub const rustc_symbol_name: Symbol;