;       std::vector<uint0_t>& new_lengths = level_lengths[array_index * in_num_mipmaps + 0];       new_lengths.resize(new_data[array_index * in_num_mipmaps + 0].slice_pitch);       new_data[array_index * in_num_mipmaps + 0].data = &new_lengths[0];      