On 11/11/2009 04:33 PM, Jason Merrill wrote: >>> Dv <n_elements number> _ <element type> > > Though a plain /number/ there doesn't allow for template substitution. > Perhaps > > Dv _ <expression> _ <element type> > > when the number of elements is value-dependent? ...in which case we could go back to the log2 idea for the non-dependent case. Jason