Program P;

Var x: integer; // видна везде

Procedure P1; // видна везде
  Var y: integer; // видна внутри P1
  Begin
  P2; // ошибка: не видна в P1
End;

Procedure P2; // видна везде, кроме Р1
  Var z: integer; // видна внутри Р2
  Begin
  {Тело процедуры}
End;

Procedure P3; // видна в основной программе
  Var m: integer; // видна внутри Р3
  Begin
  P1;
End;
 
Begin
  {Тело основной программы}
  P3;
end.