let data_of_float (f: Ctypes.c_float) = 
    F.e_app1 ((Pretty_utils.sfprintf "data_of_%a"Ctypes.pp_float f)