7.3. Array capacity

Array sizes can be specified explicitly or allowed to default to the maximum size as defined by MAXMAPENTRIES. See Section Section 1.6, “Safety and security” for details on changing MAXMAPENTRIES.

You can explicitly specify the size of an array as follows:

global ARRAY[<size>]

If you do not specify the size parameter, then the array is created to hold MAXMAPENTRIES number of elements