method vglob_aux g =
    must_add_decl <- Varinfo.Set.empty;
    let add_decl l =
      Varinfo.Set.fold
        (fun x l ->
          PropagationParameters.feedback ~level:2
            "Adding declaration of global %a" !Ast_printer.d_var x;
          GVarDecl(Cil.empty_funspec(),x,x.vdecl)::l)
        must_add_decl l
    in ChangeDoChildrenPost([g],add_decl)