with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Zero_Array is
   type T is array (Integer range <>) of Integer;

   Null_Array : constant T (1..0) := (others => 0);

begin
   Put(Null_Array'Length);
end Zero_Array;

hillbilly% ./zero_array
          0