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
| _ -> Cil.SkipChildren