package Int_Vectors is new Ada.Containers.Vectors (Index_Type => Natural, Element_Type => Integer);