Symbol: INTMAX_SIZE