package Array13 is

   Max : Natural := 1;

   type Arr is array (Natural range 0..Max) of Natural;

   type T is record
      A : Arr := (others => 0);
   end record;

   procedure Foo;

end Array13;