MODULE testarrayunbounded ;


PROCEDURE foo (a: ARRAY OF ARRAY OF CARDINAL) ;
BEGIN

END foo ;


VAR
   b: ARRAY [0..10], [1..5] OF CARDINAL ;
BEGIN
   foo (b)
END testarrayunbounded.