type &Name is varray(&"Size limit") of &&;