Ada 95 Reference Manual
A.3.1 The Package Characters
Static Semantics
The library package Characters has the following declaration:
package Ada.Characters is
pragma Pure(Characters);
end Ada.Characters;
pragma Pure(Characters);
end Ada.Characters;