Symbol: IRQ9_MARK