Constant checked_add 

pub const checked_add: Symbol;