IMPLEMENTATION MODULE unboundedarray ;

PROCEDURE message (m: ARRAY OF CARDINAL) ;
BEGIN
   m[0] := 1
END message ;

END unboundedarray.