gcc/testsuite/gnat.dg/tampering_check1_trim.ads

with Tampering_Check1_IVectors;

procedure Tampering_Check1_Trim
  (V : in out Tampering_Check1_IVectors.Vector);