6.5 RM 2.8(17-19): Pragmas

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