let fold_fi f acc proj = Cil_datatype.Varinfo.Hashtbl.fold (fun _v fi acc -> f acc fi) proj.T.functions acc