Symbol: ctf_set_ctt_size