Стеки. Немного не допонимаю

type
  TElem = integer; 
  TList = ^TElement;
  TElement = record
    info: TElem; 
    next: TList;
  end;
 
procedure StackAdd(var S: TList; e: TElem);
var
  z: TList;
begin
  new(z);
  z^.next := s; 
  z^.info := e; 
  s := z; 
end;
 
procedure Print(s: TList);
begin
  if s = nil then
  begin
    writeln('Стек пуст');
    exit;
  end;
  while s <> nil do 
  begin
    Write(s^.info, ' ');
    s := s^.next
  end;
  writeln;
end;
 
var
  Stk, Stk1: TList; 
  ch, a: integer; 
  s1, s2: text;
 
begin
  while true do
  begin
    writeln;
    writeln('Выберете нужное действие');
    writeln('1 - Создать новый стек на основе имеющихся');
    writeln('2 - Вывести стек');
    writeln('3 - Выход');
    readln(ch);
    case ch of 
      1: 
        begin
          Assign(s1, 'Stek1.txt');
          Assign(s2, 'Stek2.txt');
          Reset(s1);
          Reset(s2);
          
          while not eof(s1) do
          begin
            read(s1, a);
            StackAdd(Stk, a);
            while not eof(s2) do
          begin
            
            read(s2, a);
            StackAdd(Stk, a);
            
            end;
          end;   
        end;
        
      2: Print(Stk);
      3: exit;
    end;
  end;
  dispose(stk);
end.