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 ctf_float *dest,
const unsigned char *src, const struct ctf_float *src)
{