Constant add_with_overflow 

pub const add_with_overflow: Symbol;