sig
  val record_format : Cil_types.compinfo -> 'Data.F.term
  val array_format : Ctypes.arrayinfo -> 'Data.F.term
  val loaded : Ctypes.c_object -> unit
  val stored : Ctypes.c_object -> unit
end