Symbol: ctf_diff_fini