Symbol: INTR_COUNT