Symbol: DP_C_INTMAX