Symbol: can_integer_overflow