slicing with compile-time information
mc_array_slice_1 and mc_array_slice_2