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