"Normally, an implementation should not define pragmas that can make an illegal program legal, except as follows:
- A pragma used to complete a declaration, such as a pragma
Import;- A pragma used to configure the environment by adding, removing, or replacing
library_items."
See RM 2.8(16); Pragmas.