две подпрограммы, одна использует другую, но в каждой из них есть локальная(ые) переменная с одинаковым именем, ну то есть например в первой i : integer и во второй i : integer; Есть ли гарантия что не произойдет никакой путаницы из-за этого ?

Есть конечно, переменные внутри процедуры не видны извне
Клем, ты сколько спал ?

Лег в 4 :D

Олег,

Кроме того, рекомендуется описывать все переменные циклов, например, именно локально, ибо тогда ни в коем случае не испортятся "менее вложенные"...

Ну тогда можно спать спокойно