1package body Loop_Optimization8_Pkg2 is
2
3  function Length (Set : T) return Natural is
4  begin
5    return Set.Length;
6  end Length;
7
8  function Index (Set : T; Position : Natural) return Integer is
9  begin
10    return Set.Elements (Position);
11  end Index;
12
13end Loop_Optimization8_Pkg2;
14