Symbol: MAX_NUM_INT