1-- { dg-do run } 2 3with Ada.Streams; use Ada.Streams; 4procedure Array_Bounds_Test is 5 One : constant Stream_Element := 1; 6 Two : constant Stream_Element := 2; 7 Sample : constant Stream_Element_Array := (0 => One) & Two; 8begin 9 if Sample'First /= 0 then 10 raise Program_Error; 11 end if; 12 if Sample'Last /= 1 then 13 raise Program_Error; 14 end if; 15end Array_Bounds_Test; 16