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