Symbol: IRQ17_MARK