method vvdec v =
    if v.vglob then known_globals <- Varinfo.Set.add v known_globals;
    DoChildren