pub const sub_with_overflow: Symbol;