Symbol: sub_overflow