method vglob_aux = function
| GVar(v,_,_) ->
if retypable_var v then
begin
retype_var v;
let ast = mkalloc_statement v (pointed_type v.vtype) v.vdecl in
attach_globinit ast
end;
SkipChildren
| GVarDecl (_,v,_) ->
if not (isFunctionType v.vtype || v.vdefined) then retype_var v;
SkipChildren
| GFun _ -> DoChildren
| GAnnot _ -> DoChildren
| GCompTag(compinfo,_loc) ->
List.iter retype_field compinfo.cfields;
SkipChildren
| GType _ | GCompTagDecl _ | GEnumTagDecl _ | GEnumTag _
| GAsm _ | GPragma _ | GText _ -> SkipChildren