1 2 3 4 5 6 7 8
IMPLEMENTATION MODULE unboundedarray ; PROCEDURE message (m: ARRAY OF CARDINAL) ; BEGIN m[0] := 1 END message ; END unboundedarray.