-- Overridden_Operation
-- Defined in subprograms. For overriding operations, points to the
--- user-defined parent subprogram that is being overridden. Note: this
--- attribute uses the same field as Static_Initialization. The latter
--- is only defined for internal initialization procedures, for which
--- Overridden_Operation is irrelevant. Thus this attribute must not be
--- set for init_procs.
+-- user-defined parent subprogram that is being overridden.
-- Package_Instantiation
-- Defined in packages and generic packages. When defined, this field
-- initialized statically. The value of this attribute is a positional
-- aggregate whose components are compile-time static values. Used
-- when available in object declarations to eliminate the call to the
--- initialization procedure, and to minimize elaboration code. Note:
--- This attribute uses the same field as Overridden_Operation, which is
--- irrelevant in init_procs.
+-- initialization procedure, and to minimize elaboration code.
-- Static_Real_Or_String_Predicate
-- Defined in real types/subtypes with static predicates (with the two