Symbol: ctf_diff_union_fp_t