constraint内部可以使用foreach

constraint c_len { foreach (len[i])

                                    len[i] inside {[1:255]};

                                    len.sum <1024;

                                    len.size inside {[1:8]};　　　　　

}