интересно, а вроде вот это никто не приводил ещё:
http://www.delphikingdom.com/asp/viewitem.asp?catalogid=1292
я, правда, пока не понял, как работает. Блин, сколько ж времени ушло зря...

В общем-то, применив code splicing к функциям из модуля system, можно сделать так, чтобы декларирование переменной определённого типа приводило к вызову нужного кода в момент входа и выхода из функции. Т.е., сделать так, чтобы было достаточно писать

Накладные расходы были бы относительно малы - ещё одно ветвление в коде инициализации и деинициализации переменной (их там уже и так штук 5). При этом стали бы не нужны интерфейсы для реализации "размещения на стеке". Но, по правде говоря, писать один раз "fr:=mkStackFr;" меня не настолько обременяет, чтобы возиться с этим и порождать проблемы при переходе к другим версиям Delphi.