- array_type = new_type_array(id_from_str("a", 1), N_DIMS);
- set_array_bounds(array_type, 1, L_BOUND, U_BOUND);
- set_array_element_type(array_type, prim_t_int);
+ array_type = new_type_array(id_from_str("a", 1), N_DIMS, prim_t_int);
+ set_array_bounds(array_type, 1,
+ new_Const(mode_I, tarval_from_long (mode_I, L_BOUND)),
+ new_Const(mode_I, tarval_from_long (mode_I, U_BOUND)));