Symbol: WILL_OVERFLOW_INT