Next: RM C 5 8 Pragma Discard_Names, Previous: RM C 3 2 25 Package Interrupts, Up: Implementation Advice
"It is recommended that pre-elaborated packages be implemented in such a way that there should be little or no code executed at run time for the elaboration of entities not already covered by the Implementation Requirements."
Followed. Executable code is generated in some cases, e.g., loops to initialize large arrays.