Symbol: KERNEL_PID