Число вхождений второй строки в первую. Проблема в зацикливании кода

var
  st1, st2: String;
  count, start: Integer;
begin
  Write('Введите первую строку: ');
  ReadLn(st1);
  Write('Введите вторую строку: ');
  ReadLn(st2);
  count := 0;
  start := 1;   // Индексация строк начинается с 1 в Pascal
  while True do
  begin
    start := Pos(st2, Copy(st1, start, Length(st1)));
    if start = 0 then
      break;
    count := count + 1;
    start := start + 1; // Переходим на следующий символ
  end;
  WriteLn('Количество вхождений ''', st2, ''' в ''', st1, ''': ', count);
end.

var
  //position     12345678
  st1: string = '12341234';
  st2: string = '1234'; 
 
begin
var matches := Regex.Matches(st1, st2);
var count := matches.Count; // Количество найденных вхождений
 
WriteLn('Количество вхождений ''', st2, ''' в строке: ', count);
 
  // Выводим позиции найденных вхождений
foreach var mat:System.Text.RegularExpressions.Match in matches do
WriteLn('Найдено на позиции: ', Mat.Index+1);//нумерация с 0
end.

function Pos(st2, st1: string; from: integer := 1): integer; 
function PosEx(st2, st1: string; from: integer := 1): integer;

start := Pos(st2, Copy(st1, start, Length(st1)));

t := Pos(st2, Copy(st1, start, Length(st1)));
if t = 0 then Break;
start := start + t + 1;

begin
var st1 := '12341234';
var st2 := '1234';
  
var count := 0;
var start := 1; // Индексация строк с 1 
  
  while True do
  begin
// Используем Pos для поиска st2 в st1, начиная с позиции start
    start := Pos(st2, st1, start);
    
    if start = 0 then
      break; // Если не найдено, выходим из цикла
      
    count += 1; // Увеличиваем счетчик вхождений
    start += st2.Length; // Переходим на позицию после найденного вхождения
  end;
  
  WriteLn('Количество вхождений ''', st2, ''' в ''', st1, ''': ', count);
end.

begin
  var st1 := '123451234123';
  var st2 := '123';
  
  var count := 0;
  var start := 0;
  repeat
    start := pos(st2, st1, start + 1);
    if start > 0 then count := count + 1;
  until start = 0;
  WriteLn('Количество вхождений ''', st2, ''' в ''', st1, ''': ', count);
end.