Symbol: PID_IRQ0