sig
  val get_retres_vi : Cil_types.kernel_function -> Cil_types.varinfo option
  val create_alloced_return : Cil_types.typ -> Kernel_function.t -> Base.t
  val returned_value :
    Cil_types.kernel_function ->
    Cvalue.Model.t -> Cvalue.V.t * Cvalue.Model.t
end