я вот только не понимаю зачем так всё расписывать?
И так ясно что все локальные переменные расположены в стеке и следовательно верны до тех пор пока процедура / функция не завершит свою работу.