Symbol: INT_UPPER_BOUND