Динамические списки. Программа, которая должна вставлять в непустой список L новый элемент перед последним - Pascal ABC

Формулировка задачи:

Добрый вечер, имеется программа, которая должна вставлять в непустой список L новый элемент перед последним. Вместо этого просто создается новый список. Будьте любезны, помогите исправить:

Uses crt;
type tinf=integer;
     uk=^rec;
     rec=record
      x:integer;
      adr:uk;
     end;
Var first, p1, p2, p3, l, q:uk;
    f:text;
 
procedure SOZD_SPIS ;
begin
assign(f,'dinspis.txt');
reset(f);
first:=nil;
while not seekeof(f) do begin
new(p1); read(f,p1^.x);
if first=nil then first:=p1
else p2^.adr:=p1;
p2:=p1;
end;
p2^.adr:=nil;
close(f);
end;
 
Procedure VIVOD(t:string) ;
begin
writeln(t);
p1:=first;
while p1<>nil do begin
write (p1^.x, ' ');
p1:=p1^.adr;
end;
writeln;
end;
 
procedure AddElem(var spis1:uk;znach1:tinf);
var
  p,t:uk;
begin
  new(t);
  t^.x := znach1;
  p:=spis1;
  if (p = nil) or (p^.adr = nil) then
  begin
    t^.adr:=spis1;
    spis1:=t;
  end
  else
  begin
    while p^.adr^.adr <> nil do p:=p^.adr;
    t^.adr := p^.adr;
    p^.adr := t;
  end;
end;
 
Begin
SOZD_SPIS;
VIVOD('исходн');
  l:=nil;
  addelem(l, 1);
  q:=l;
  while q<>nil do
  begin
    write(q^.x:4);
    q:=q^.adr;
  end;
  writeln;
  readln;
VIVOD('после вставки');
readkey;
End.

Решение задачи: «Динамические списки. Программа, которая должна вставлять в непустой список L новый элемент перед последним»

Листинг программы

procedure AddBeforeLast(var L : uk; znach:tinf);
var
  q, t : uk;
  first : boolean;
begin
  new(t);
  t^.x := znach;
 
  q := L;
  first := true;
  while (q^.adr <> nil) and (q^.adr^.adr <> nil) do
  begin
    q := q^.adr;
    first := false;
  end;
 
  t^.adr := q^.adr;
  q^.adr := t;
  if first then L := q;
end;
 
// ...
 
Begin
  SOZD_SPIS;
  VIVOD('исходн');
  AddBeforeLast(first, 1); // Вызываешь именно функцию "Добавить перед последним"
  VIVOD('после вставки');
  readkey;
End.

Объяснение кода листинга программы

Создается новый элемент t, который будет хранить значение znach.
Переменная q инициализируется ссылкой на первый элемент списка L. Переменная first устанавливается в true, чтобы отслеживать, является ли q первым элементом.
Запускается цикл, который продолжается до тех пор, пока q не указывает на nil, что означает конец списка.
Внутри цикла переменная q обновляется, чтобы указывать на следующий элемент в списке. Переменная first устанавливается в false, чтобы отслеживать, является ли текущий элемент последним.
Когда q указывает на nil, это означает, что мы достигли конца списка. В этом случае t становится последним элементом списка L.
Конец функции.
Вызывается функция AddBeforeLast с аргументами first и 1. Это добавляет элемент перед последним элементом списка L.
Выводится сообщение после вставки.
Вызывается функция readkey, чтобы прочитать ввод пользователя.