Что не так с этой программой? Паскаль пишет "Ошибка медли исполненья:

Что не так с этой программкой? Паскаль пишет "Ошибка медли исполнения: Индекс находился вне границ массива." и "Параметр цикла for в PascalABC.NET должен описываться в заголовке цикла"
PROGRAM Massiv;
VAR M: array [1..4, 1..4] of integer;
a, b, min, max: integer;
begin
writeln('Исходная матрица:');
for a := 1 to 4 do
begin
for b := 1 to 4 do
begin
M[a, b] := random(10);
write(M[a, b]:4)
end;
writeln
end;
min := 10;
max := 0;
for a := 1 to 4 do
if M[a, 4+1-a] lt; M[min, min]
then min := M[a, 4+1-a]
else
if M[a, 4+1-a] gt; M[max, max]
then max := M[a, 4+1-a];
writeln('Мин. эл-т побоч. диаг. матрицы: M[', min:2, ', ', min:2, '] = ', M[min, min]:3);
writeln('Макс. эл-т побоч. диаг. матрицы: M[', max:2, ', ', max:2, '] = ', M[max, max]:3);
a := M[min, min];
M[min, min] := M[max, max];
M[max, max] := a;
writeln('Результат:');
for a := 1 to 4 do
begin
for b := 1 to 4 do
write(M[a, b]:4);
writeln
end;
readln
end.