method vglob_aux = function
    | GVar(v,{init=Some(SingleInit({enode = Const _}))},_) ->
        if isArrayType v.vtype then
          (* Avoid creating an array for holding the initializer for another
           * array. This initializer is later cut into individual
           * initialization statements in [gather_initialization].
           *)

          SkipChildren
        else
          DoChildren
    | _ -> DoChildren