sig val record_format : Cil_types.compinfo -> Data.D.format val array_format : Ctypes.arrayinfo -> Data.D.format val loaded : Ctypes.c_object -> unit val stored : Ctypes.c_object -> unit end