method vglob_aux = function
| GCompTag (compinfo,_) as g when not compinfo.cstruct ->
let fields = compinfo.cfields in
let field fi = new_field_type fi in
let fty = List.map field fields in
ChangeTo (g::fty)
| GFun _ | GAnnot _ | GVar _ | GVarDecl _ -> DoChildren
| GCompTag _ | GType _ | GCompTagDecl _ | GEnumTagDecl _
| GEnumTag _ | GAsm _ | GPragma _ | GText _ -> SkipChildren