Symbol: INTMAX_MAX