pub const rustc_dump_vtable: Symbol;