+It is well established, and widely used, that the type of the index,
+unlike most types found in the stabs, is merely a type definition
+(@pxref{Type Definitions}), not type information (@pxref{Stabs Format})
+(that is, it need not start with @var{type-number}@code{=} if it is
+defining a new type). According to a comment in GDB, this is also true
+of the type of the array elements; it gives @samp{ar1;1;10;ar1;1;10;4}
+as a legitimate way to express a two dimensional array. According to
+AIX documentation, the element type must be type information. GDB
+accepts either.
+