Локальные и глобальные переменные

var a,b,c,d:integer; 
procedure p(x:integer; var a:integer); 
var c:integer; 
begin 
x:=5; a:=6; c:=7; d:=8 end; 
begin
a:=1; b:=2; c:=3; d:=4; 
p(a,b);
write(a,' ',b,' ',c,' ',d) 
end.

//начало основного блока
var a,b,c,d:integer;
    //начало вложенного блока
    procedure p(x:integer; //формальный параметр, передаётся по значению,
                           //поэтому фактический параметр не изменяется
    var a:integer //формальный параметр, передаётся по ссылке,
                  //меняет значение фактического параметра
                  //и перекрывает видимость глобальной переменной "a"
    );
    var c:integer; //локальная переменная, доступна только в процедуре,
                   //перекрывает видимость глобальной переменной "c"
    begin
    x:=5; //значение фактического параметра (глобальной переменной "a") не изменяется
    a:=6; //значение фактического параметра (глобальной переменной "b") изменяется,
          //значение глобальной переменной "a" не изменяется
    c:=7; //значение локальной переменной "с" изменяется,
          //значение глобальной переменной "c" не изменяется
    d:=8  //глобальная переменная "d" ничем не перекрыта, и её значение изменяется
    end;
    //конец вложенного блока
//(продолжение основного блока)
begin
a:=1; b:=2; c:=3; d:=4;
p(a,b);
write(a,' ',b,' ',c,' ',d)
//конец основного блока (после "end.")
end.