pub const eh_catch_typeinfo: Symbol;