-void ctf_float_copy(unsigned char *destp, const struct ctf_float *dest,
- const unsigned char *src, const struct ctf_float *src)
+void ctf_float_copy(unsigned char *destp, const struct type_class_float *dest,
+ const unsigned char *src, const struct type_class_float *src)