Constant rustc_panics_when_zero 

pub const rustc_panics_when_zero: Symbol;