Symbol: INT_LIMIT