Symbol: fsm_irq