Symbol: IRQ5_MARK