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