Symbol: KS_dead_colon