An array is called conformant if its bounds are determined at run time. The size_is attribute designates the upper bound on the allocation size of the array and the max_is attribute designates the upper bound on the value of a valid array index. For more information, see arrays.