sig
  type key = Cil_types.compinfo
  type data = Lang.lfun * chunk list
  val get : key -> data
end