Symbol: ctf_add_encoded