Symbol: intmax_t