-- in .ads file
procedure Foo with Global => null;
Array_T is array(1..5) of Integer;
-- in .adb file
procedure Foo is
   Arr : Array_T := (others => 0);
begin
   null;
end Foo;