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