Выход из бесконечного цикла

var k,n,er,a:integer;
s,x,y1,e,b:real;
y,a1:string;
label 
proverka, vihod;
begin
read (y);
  n:=length(y)-1;
  for k:=1 to n do
  begin
    s:=10*10;   
  end;
  val(y,y1,er);
  x:=9*y1/(10-1/s);
  x:=int(x);
  e:=x;
  
  proverka:
  x:=e;
  for k:=1 to n+1 do // ПРОВЕРКА 1
        begin
            b:=b+x;
            str(x,a1);
            a:=Length(a1);
            Delete (a1,a,1);
            val(a1,x,er);
        end;
   
  if b<y1 then
  begin
    b:=0; 
    e:=e+1; 
    goto proverka; 
  end;
   if b>y1 then 
  begin 
    b:=0;
    e:=e-1; 
    goto proverka; 
  end;
  
   vihod:
   writeln (e);
   write ('Проверка: ',b);
end.

var x, y, i, k, xt, yt: integer;
    z: real;
begin
  repeat //ввод Y с проверкой
    write('Y > 0;  Y = ');
    readln(y)
  until y > 0;
  k := trunc(ln(y) / ln(10)); //k=n-1
  z := 9 / (10 - exp(-k * ln(10))); //z=9/(10-10^(1-n))
  x := 0; //пока полагаем, что X не существует
  for i := trunc(z * y) to trunc(z * (y + k)) do //от 9Y/(10-10^(1-n)) до 9(Y+n-1)/(10-10^(1-n))
    begin
      xt := i; //предполагаемый x (копируем, чтобы не трогать счётчик цикла)
      yt := 0; //предполагаемый y
      repeat //считаем, какой yt получается из данного xt
        yt := yt + xt;
        xt := xt div 10;
      until xt = 0;
      if y = yt //если предполагаемый y совпал с заданным,
        then begin //то
          x := i; //запоминаем X
          break //и досрочно выходим из цикла
        end
    end;
  if x > 0 //если X найден,
    then write('X = ', x) //то печатаем его значение
    else write('X doesn''t exist') //иначе печатаем, что X не существует
end.