"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.