Symbol: random_kthread