Symbol: INTR_EXIT