sig
  val get_retres_vi : Cil_types.kernel_function -> Cil_types.varinfo option
  val returned_value : Cil_types.kernel_function -> Cvalue.V.t
  val warn_unsupported_spec : string -> unit
end