mutable known_globals = Varinfo.Set.empty