Symbol: check_sub_overflow