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