method vglob_aux = function GCompTag(c,_) -> List.iter (fun x -> FieldinfoHashtbl.add known_fields x x) c.cfields; DoChildren | _ -> DoChildren