gcc/testsuite/gnat.dg/tampering_check1_ivectors.ads - gcc - Git at Google

 with Ada.Containers.Vectors;

 package Tampering_Check1_IVectors is new
    Ada.Containers.Vectors (Positive, Integer);
	with Ada.Containers.Vectors;

	package Tampering_Check1_IVectors is new
	Ada.Containers.Vectors (Positive, Integer);