> -- Trurl писал(а):
> Кроме процедур есть еще дескрипторы типов.А еще возможна ситуация, когда процедура вызовет выгрузку модуля, из которого вызвана и некуда будет возвращаться.

Так дескрипторы типов - в невыгружаемой части модуля. Остаются навсегда.

Стек вызовов проверять можно. Только это из разряда экзотики. Если сценарии выгрузки-замены модулей столь сложны у вас, что вы не можете это увидеть и проверить просто и линейно, то что-то не так в консерватории (консервы неправильные).