gcc/testsuite/gnat.dg/tampering_check1_ivectors.ads

with Ada.Containers.Vectors;

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