Constant rustc_pretty_precise_liveness 

pub const rustc_pretty_precise_liveness: Symbol;