Нужна помощ с однонаправленным списком Опции

[Krjuger]

В общем задача заключается в том чтобы после елемента списока P1,с ключем Х,равным задаваемому значению А,вставить список P2.

Type
 TElem = string;      

 TList = ^TNode;      
 TNode = record       
	 Info: TElem;  
	 Next: TList   
	 end;
var
 P1,P2:TList;
 r:TList;
 A:integer;

Procedure Insert(var P1: Tlist; x : integer);
  begin
  new(r);
  r^.info:=x;
  r^.next:=P1^.next;
  P1^.next:=r;
 end; 

Тут я беру элемент из списка п2 и записываю его после элемента с ключем Х.В общем моя идея заключалась в том,чтобы создать процедуру,которая будет юзять insert и потихоньку выдирая из п2 по 1 элементу вставлять их каждый раз сдвигая ключ на 1,тем самым впихнуть весь список, но как это реализовать хз.

Так же есть вопрос немного в другой области.Необходимо взять из конца дека V элементов и вставить их в стек,вот тут приветствуются лбые идеи,потому что своих совсем нет(((
P.s.Просьба на фак не тыкать прочитал и не один,но если есть конкретные вещи из фака ,тобуду только рад.

[Krjuger]

Program laba9;
Type

 point = ^item;       
 item = record        
	 Number: integer; 
	 Next: point;  
 end;
var
 P1,P2: pointer;
 A:integer;

Procedure SeachAndInsert(P1,P2: point ; x : integer ; var q : point);
 var
  flag : boolean;
  save:Point;
 begin
  flag:=true;
  while (P1<>nil) and flag=true do
  begin
   if P1^.number=x then
    begin
    flag:=false;
    save^.next:=P1^.next;
    end
   else
    begin
     P1:=P1^.next;
    end;
  end;
   P1^.next:=P2;
   while P2^.next<> nil do
   P1:=P2^.next;
   P1^.next:=save^.next;
 end;

Ну вроде как то так получилось,но все равно не работает.

procedure BListPrint(var P1 : pointer );
begin
 write('< ');
 while P1 <> nil DO
 begin
  write( P1^.number );
  If P1^.Next <> nil then write(',');
  P1 := P1^.Next
 end;
 writeln(' >')
end;

Тут Invalid qualifier в строке write( P1^.number );хз че сделать.