let mk_global_c_initialized_array name size init =
  let ty =
    (TArray(
       TInt(IInt,[]),
       Some(mk_int_const size),
       empty_size_cache () ,
       []
     ))
  in
    mk_global_c_initialized_vars name ty init