DEFINITION MODULE unboundedarray ;

PROCEDURE message (m: ARRAY OF CARDINAL) ;

END unboundedarray.