A declaration of a packed type has the … an integer-valued constant expression. The values of type … occur in records, objects, or arrays will occupy … An illegal value for n [in some context for an implementation] is a … [p. 17 (2.2.6)] Implementations are expected to use the same … Hence, programmers should expect SET OF [0..1023] to be practical, but not SET OF INTEGER.
Google-1
Google-2
Copyright clearance needed for quotation.