Constant panic_const_div_overflow 

pub const panic_const_div_overflow: Symbol;