36
procedure Op (V : in Vector) is
   procedure Process
    (E : in Element_Subtype) is
   begin
     ... -- do something with E
   end Process;
begin -- Op
   for I in V.First_Index .. V.Last_Index loop
      V.Query_Element (I, Process’Access);
   end loop;
end Op;