pub const extern_prelude: Symbol;