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