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