Все переменные, константы, типы, функции и переменные, объявленные в подпрограмме, являются локальными (то есть местными). Они «видны» только в подпрограмме и доступны только в её теле. После завершения вызова подпрограммы (все операторы выполнены) они прекращают своё существование.

Если в подпрограмме используются глобальные идентификаторы, то тут имеется одна тонкость: если в подпрограмме объявлен точно такой же идентификатор, что и в главной программе (например, две переменные имеют одно и то же имя), то в подпрограмме будет использоваться именно локальный элемент, а глобальный подпрограмма не увидит вообще и даже знать о нём ничего не будет!