Symbol: INT_MAX