let data_of_int (i: Ctypes.c_int) = 
    F.e_app1 ((Pretty_utils.sfprintf "data_of_%a"Ctypes.pp_int i)