Region_c(Range[] dims) {
Region_c(int[] dims) {
    Region_c(Range[] dims) {        assert dims != null;        rank = dims.length;        int tmp_card = 1;        dims_ = dims;        for (int i = 0; i < dims.length; ++i)            tmp_card *= dims_[i].size();        card = tmp_card;    }