Получается что не все так просто с подпрограммами. И в общем случае следующее описание неверно:
"выполнение подпрограммы без формальных параметров дает тот же результат, что и выполнение составляющих его подпрограмму операторов, как если бы они были подставлены вместо оператора вызова подпрограммы".

Кто знает есть ли различия между Обероном и Компонентным Паскалем в обращении с локальными переменными?