Отлов утечек памяти - GNAT, (разделено) Опции

[TarasBer]

Новые вопросы - какая функция определяет наличие или отсутствие утечек памяти?
Я скачал ВинАДУ, поставил, как подключить пакет, содержащий заголовки виндовых библиотек? with ADA.Windows не рабтает, нет такого пакета.

[TarasBer]

Расширенный возврат - мощная вещь, только зачем надо обязательно указывать тип?

function GetI: integer is begin
   return i do // ошибка компиляции
      i := 3;
   end return;
end;