let mk_global_c_array name size = let ty = (TArray( TInt(IInt,[]), Some(mk_int_const size), empty_size_cache (), [] )) in mk_global_c_vars name ty