The present language syntax does not admit arrays-of-arrays, with expressions such as a[5][3]. However, I don't see anything particularly constraining in the implementation to require this. Does anyone have preference? --