MODULE testarrayunbounded4 ;


PROCEDURE foo (a: ARRAY OF CHAR) ;
BEGIN

END foo ;


VAR
   b: CHAR ;
BEGIN
   foo (b)
END testarrayunbounded4.