package Int_Vectors is new Ada.Containers.Vectors (Natural, Integer);