method vglob_aux g = match g with
    | GFun (f, _) ->
        debug "[sparecode:globs] add function %s@." f.svar.vname;
        Hashtbl.add used_variables f.svar ();
        Cil.DoChildren
    | GAnnot _ -> Cil.DoChildren
    | GVar (v, init, _) ->
        (match init.init with None -> ()
                            | Some i -> Hashtbl.add var_init v i);
        Cil.SkipChildren
    | GVarDecl(_,v,_) when isFunctionType v.vtype -> DoChildren
    | _ -> Cil.SkipChildren