Алгоритм двоичного поиска в рекурсивной форме

uses crt;
type mas =array[1..30] of integer;
Procedure vvod(var m:mas;var n:integer);
var i:integer;
Begin
repeat
write('Введите размер массива n>1 n=');
readln(n);
until n>1;
writeln('Введите упорядоченный по возрастанию массив из',n,' элементов');
write('m[1]=');
readln(m[1]);
for i:=2 to n do
 begin
  repeat
  write('m[',i,']=');
  readln(m[i])
  until m[i]>m[i-1]
 end;
clrscr;
writeln('Массив:');
for i:=1 to n do
write(m[i],' ');
writeln
end;
Procedure bin(m:mas;first,last,x:integer;var i:integer);
var c : integer;
begin
if first>last then exit;
i:=0;
c:=(first + last) div 2;
if m[c]=x then i:=c
else if m[c]>x then bin(m,first,c-1,x,i)
else bin(m,c+1,last,x,i);
end;
var a:mas;
    n,x:integer;
    i:integer;
begin
vvod(a,n);
writeln('что искать?');
readln(x);
bin(a,1,n,x,i);
if i=0 then write('Числа нет в массиве')
else write('Номер числа ',x,' в массиве=',i)
end.

uses crt;
type mas =array[1..30] of integer;
Procedure vvod(var m:mas;var n:integer);
var i:integer;
Begin
repeat
write('Введите размер массива n>1 n=');
readln(n);
until n>1;
writeln('Введите упорядоченный по возрастанию массив из',n,' элементов');
write('m[1]=');
readln(m[1]);
for i:=2 to n do
 begin
  repeat
  write('m[',i,']=');
  readln(m[i])
  until m[i]>m[i-1]
 end;
clrscr;
writeln('Массив:');
for i:=1 to n do
write(m[i],' ');
writeln
end;
function bin(m:mas;first,last,x:integer):integer;
var c : integer;
begin
if first>last then
 begin
  bin:=0;
  exit;
 end;
c:=(first + last) div 2;
if m[c]=x then bin:=c
else if m[c]>x then bin:=bin(m,first,c-1,x)
else bin:=bin(m,c+1,last,x);
end;
var a:mas;
    n,x:integer;
    i:integer;
begin
vvod(a,n);
writeln('что искать?');
readln(x);
if bin(a,1,n,x)=0 then write('Числа ',x,' в массиве нет')
else write('Число ',x,' в массиве есть, его номер=', bin(a,1,n,x))
end.