method vvdec v =
    if v.vglob then known_globals <- Cilutil.VarinfoSet.add v known_globals;
    DoChildren