with Ada.Containers.Vectors;

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