Корректно ли работает программа?

program lak1_zadanie22;
type mass=array [1..20] of integer;
var a:mass; i,n,c,c1,c2,z,ch:integer;
 
procedure puzirok1(Var a:mass);
var i,j,m:integer;
begin
for i:=1 to ch-1 do
for j:=1 to ch-i do
begin
z:=z+1;
if a[j]>a[j+1] then
begin
m:=a[j];
a[j]:=a[j+1];
a[j+1]:=m;
c:=c+1;
end;
end;
for i:=1 to ch do
write(i,'=',a[i]:3,'; ');
writeln;
end;
 
procedure Slivak(var a:mass ;p,q : integer);
var r,i,j,k : integer;
b:mass;
begin
r:=(p+q) div 2;
i:=p;
j:=r+1;
for k:=p to q do
begin
z:=z+1;
if (i<=r) and ((j>q) or (a[i]<a[j])) then
begin
b[k]:=a[i];
i:=i+1;
c:=c+1;
end
else
begin
b[k]:=a[j];
j:=j+1;
end ;
end;
for k:=p to q do
a[k]:=b[k];
end;
 
procedure Sortirovka(var a:mass ;p,q : integer);
begin
if p<q then
begin
Sortirovka(a,p,(p+q) div 2);
Sortirovka(a,(p+q) div 2 + 1,q);
Slivak(a,p,q);
end;
end;
 
procedure zapolneni(Var a:mass);
var i:integer;
begin
for i:=1 to ch do
begin
a[i]:=random(21)-10;
write(i,'=',a[i],'; ');
end;
writeln;
end;
 
 
begin
randomize; c:=0; z:=0;
readln(ch);
for i:=1 to ch do
Readln(a[i]);
 
repeat
WriteLn('1 - Быстрая сортировка');
WriteLn('2 - Сортировка слиянием');
WriteLn('3 - Заполнение массива от -10 до 10');
WriteLn('Выход - 0');
Write('Введите число для выбора сортировки '); ReadLn(n);
Case n of
1: Begin 
puzirok1(a);
writeln('Число обменов=',c,', число сравнений =',z,'.');
c:=0;z:=0;
end;
2: begin 
sortirovka(a,1,ch); for i:=1 to ch do
write(i,'=',a[i]:3,'; ');
writeln;
writeln('Число обменов=',c,', число сравнений =',z,'.');
c:=0; z:=0;
end;
3: Zapolneni(a);
end;
until n = 0;
end.