Re: What's wrong with my code?

Integer as an index is too big. Why not:

type Index is range 0..10;
subtype Index is Integer range 0..10;  -- alternatively
type My_Array is array (Index) of Element;

procedure Find_Min (A: My_Array; Offset, Pos: Index);
procedure Swap (A: in out My_Array; First, Second: Index);

etc