mutable known_globals = Cilutil.VarinfoSet.empty