Symbol: k_dead