DEFINITION MODULE badparamarray ;

PROCEDURE foo (a: ARRAY OF CHAR) ;

END badparamarray.