procedure TableSort (T: in out Table_Array) is

    X: Item;
    J: Index;

begin

    for I in Index'Succ(T'First)..T'Last loop
        if T(I) < T(Index'Pred(I)) then
            X := T(I);
            T(I) := T(Index'Pred(I));

            J := Index'Pred(Index'Pred(I));

            while J > Index'Pred(T'First) and X < T(J) loop     --hiba lehet
                T(Index'Succ(J)) := T(J);
                J := Index'Pred(J);
            end loop;

            T(Index'Succ(J)) := X;

        end if;
    end loop;

end TableSort;