Symbol: IRQ0_MARK