Symbol: __INT_MAX__