Constant sub_with_overflow 

pub const sub_with_overflow: Symbol;