1-- { dg-do compile }
2-- { dg-options "-O3" }
3
4with Ada.Containers.Vectors;
5with Opt3_Pkg;
6
7package Opt3 is
8
9  type Arr is array (1 .. Opt3_Pkg.Max) of Integer;
10
11  package Arr_Container is new Ada.Containers.Vectors (Natural, Arr);
12
13end Opt3;
14