Symbol: INTR_START