with Tampering_Check1_IVectors;

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