(C3005) Arrays with an out of range index Error In: Correctness Description: Arrays or bit-arrays are used with an index value out of the defined index range. Example: A is an integer array from 1 to 100. There is an action in the model: A(101)=1 Erroneous Elements: Data-items, fields, conditions, and events