Внесение массива в процедуру - Неправильный тип параметров подпрограммы - PascalABC.NET

Uses crt;
type mas1=array[1..20]of integer; 
Var a,b,c,d,k1,k2,k3,k4,k11,k22,k33,k44,k:integer;
Mas:array[1..20] of integer;
Kor1:array[1..20] of integer;
Kor2:array[1..20] of integer;
Kor3:array[1..20] of integer;
Kor4:array[1..20] of integer;
 
procedure vivod(var a:mas1;y:integer);
var i:integer;
begin
for i:=1 to k1-1 do
begin
Write(mas[i],' ');
end;
writeln();
end;
begin
randomize;
k1:=1;k11:=1;k:=1;
k2:=1;k22:=1;
k3:=1;k33:=1;
k4:=1;k44:=1;
//Заполнение массива и вывод его на экран
for a:=1 to 20 do
begin
mas[a]:=random(100);
Write(mas[a],' ');
end;
writeln();
//Распределение массива по карманам
For a:=1 to 20 do
begin
if (mas[a]>=0) and (mas[a]<=25) then
begin
kor1[k1]:=mas[a];
k1:=k1+1;
end;
if (mas[a]>25) and (mas[a]<=50) then
begin
kor2[k2]:=mas[a];
k2:=k2+1;
end;
if (mas[a]>50) and (mas[a]<=75) then 
begin
kor3[k3]:=mas[a];
k3:=k3+1;
end;
if (mas[a]>75) and (mas[a]<=100) then 
begin
kor4[k4]:=mas[a];
k4:=k4+1;
end;
end;
vivod(Kor1,k1);
end.