Symbol: IRQ3_MARK