Symbol: MAX_NUM_SIZE