gcc/testsuite/gnat.dg/max_size_pkg.ads

package Max_Size_Pkg is

  type Index is range 1 .. 5;

  type Arr1 is array (Index range <>) of Short_Short_Integer;

  type Arr2 is array (Index range <>) of Integer;

end Max_Size_Pkg;