19
procedure Op (C : Cursor) is
   procedure Process (E : in Element_Type) is
   begin
      ... -- do something with E
   end;
begin
   Query_Element (C, Process’Access);
end;