what does this line implies:bit [1:5][10:16] foo1 [11:14][21:27][31:38]
See section 7.4.5 Multidimensional arrays of the 1800-2012 LRM. Although it is highly unusual to have index ranges that do not begin/end at 0 or 1, there is nothing illegal about them.