Constant rustc_pretty_live_locals 

pub const rustc_pretty_live_locals: Symbol;