Symbol: ctf_kind2name