declare
   Max_Attempts : constant := 3;
   Success      : Boolean  := False;
begin
   for Attempt in 1 .. Max_Attempts loop
      begin
         -- 위험한 작업
         A(Index) := 100;

         Success := True; -- 성공 시 플래그 설정
         exit;            -- 루프 탈출
      exception
         when Constraint_Error =>
            -- 마지막 시도였다면 로그만 남기고, 아니면 인덱스 교정
            if Attempt = Max_Attempts then
               Put_Line ("최대 시도 횟수를 초과했습니다.");
            else
               Put_Line ("인덱스 오류 감지. 수정 후 재시도합니다.");
               Index := A'Last; -- 인덱스 교정
            end if;
      end;
   end loop;

   if not Success then
      -- 모든 시도 실패 후 처리
      raise Program_Error with "데이터 할당 실패";
   end if;
end;

-- (개념 예시)
My_Loop:
loop
   with Timed_Loop (Deadline => Ada.Real_Time.Clock + Milliseconds(10));
begin
   -- 10ms 안에 끝나야 하는 작업
end;
end loop My_Loop;