D.1.3 Other Predefined Integer Types

If there are no predefined integer types with names other than Integer, Short_Integer, and Long_Integer, then the tests contained in the following files are not applicable.