Constant extern_prelude 

pub const extern_prelude: Symbol;