Constant rustc_middle 

pub const rustc_middle: Symbol;