Вставить новый элемент в список перед каждым вхождением заданного элемента

 type
PNode = ^TNode;
TNode = record
Data: integer;
Next: PNode;
end;
 procedure push(var p,p_el:pnode;b:integer);
  var temp,temp1:pnode;
  begin
  temp:=p1;
  if p1=temp^.next then begin
  new(temp1);
  temp1^.next:=temp^.next;
  temp^.next:=temp1;
  temp1^.data:=b;
  end
  else begin temp:=temp^.next;
 
  end;
 
  end;

procedure push(value, new_value : integer;
               var head, tail : pnode);
 
  function sub(var pt : pnode) : pnode;
  begin
    new(result);
    result^.data := new_value;
    result^.next := pt;
    pt := result;
  end;
 
var p, p_new : pnode;
begin
  p := head;
 
  if head^.data = value then sub(head);
 
  while p^.next <> nil do
  begin
    if p^.next^.data = value then p := sub(p^.next);
    p := p^.next;
  end;
end;

  print(head);
  push(1, 20, head, tail); // <---
  print(head);

{$mode objfpc}
type
  pnode = ^tnode;
  tnode = record
    data : integer;
    next : pnode;
  end;
 
var head, tail: pnode;
 
procedure append(var head, tail : pnode; value : integer);
var p : pnode;
begin
  new(p);
  p^.next := nil;
  p^.data := value;
  if head = nil then head := p
  else tail^.next := p;
  tail := p;
end;
 
procedure push(value, new_value : integer;
               var head, tail : pnode);
 
  function sub(var pt : pnode) : pnode;
  begin
    new(result);
    result^.data := new_value;
    result^.next := pt;
    pt := result;
  end;
 
var p, p_new : pnode;
begin
  p := head;
 
  if head^.data = value then sub(head);
 
  while p^.next <> nil do
  begin
    if p^.next^.data = value then p := sub(p^.next);
    p := p^.next;
  end;
end;
 
procedure print(head : pnode);
begin
  while head <> nil do
  begin
    write(head^.data:3);
    head := head^.next;
  end;
  writeln;
end;
 
begin
  head := nil; tail := nil;
  append(head, tail, 1);
  append(head, tail, 1);
  append(head, tail, 1);
  append(head, tail, 4);
  append(head, tail, 7);
  append(head, tail, 1);
  append(head, tail, 11);
  append(head, tail, 21);
  append(head, tail, 1);
 
  print(head);
  push(1, 20, head, tail);
  print(head);
  // Сюда добавь еще удаление списка
end.

// процедуры - те же
 
var
  item, value : integer;
  ans : char;
 
begin
  head := nil; tail := nil;
  repeat
    write(' -> '); readln(item);
    append(head, tail, item);
    write('continue? [Y/N]'); readln(ans);
  until ans in ['N', 'n']; // пока не введешь N или n - будет запрашивать элементы списка
 
  write('Вставить перед : '); readln(item);
  write('Значение : '); readln(value);
  print(head);
  push(item, value, head, tail);
  print(head);
  // удаление
end.