Symbol: ctfdiff_fp_to_name