method vglob_aux = function
    | GCompTag (compinfo,_) ->
        let fields = compinfo.cfields in
        let field fi =
          if FieldinfoHashtbl.mem cast_field_to_type fi then
            fi.ftype <- TPtr(!Common.struct_type_for_void,[])
        in
        List.iter field fields;
        DoChildren
    | _ -> DoChildren