let get f_vi =
  try
    Retres.find f_vi
  with Not_found ->
    let typ = Cil.getReturnType f_vi.vtype in
    let rv = makeVarinfo false false "__retres" typ in
    Retres.add f_vi rv;
    rv