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