Symbol: intc_match