Symbol: ctf_decl_fini