let int_of_data (i:Ctypes.c_int) = 
     F.e_app1 ((Pretty_utils.sfprintf "%a_of_data"Ctypes.pp_int i)