pub const rust_eh_personality: Symbol;