Symbol: MAX_NUM_PMC