Разработать статический стек длиной 8 элементов, тип данных: string

Program DynStek;
uses
  crt; 
type
  Tinf=string;
  List=^TList; 
  TList=record 
    data:TInf;  
    next:List;   
  end;
 
{Процедура добавляющая элемент в стек}
procedure AddElem(var stek1:List;znach1:TInf);
var
  tmp:List;
begin
  GetMem(tmp,sizeof(TList)); 
  tmp^.next:=stek1;  
  tmp^.data:=znach1; 
  stek1:=tmp; 
end;
 
{Процедура вывода стека}
procedure Print(stek1:List);
begin
  if stek1=nil then 
  begin
    writeln('Стек пуст.');
    exit;
  end;
  while stek1<>nil do 
  begin  
    Write(stek1^.data, ' '); 
    stek1:=stek1^.next  
  end;
end;
 
{Поиск элемента в стеке по значению}
Function SearchElemZnach(stek1:List;znach1:TInf):List;
begin
  if stek1<>nil then 
    while (Stek1<>nil) and (znach1<>stek1^.data) do 
      stek1:=stek1^.next; 
  SearchElemZnach:=stek1;
end;  
 
       
var
  Stk, 
  tmpl:List; 
  znach:Tinf; 
  ch:char; 
begin
    Stk:=nil;
    repeat 
    clrscr; 
    Writeln('Выберите действие:');
    Writeln('1) Добавить элемент.');
    Writeln('2) Вывод стека.');
    Writeln('3) Поиск элемента по значению');
    Writeln('4) Выход.');
    writeln;
    ch:=readkey; 
    case ch of 
      '1':begin
            write('Введите значение добавляемого элемента: ');
            readln(znach); {считываем значение добавляемого нового элемент}
            AddElem(Stk,znach);
          end;
      '2':begin
            clrscr; 
            Print(Stk); 
            readkey; 
          end;
 
      '3':begin
            write('Введите значение искомого элемента: ');
            readln(znach); {ввод искомого значения}
            tmpl:=SearchElemZnach(Stk,znach); 
            if tmpl=nil then 
              write('Искомый элемент отсутствует в стеке')
            else
              write('Элемент ',tmpl^.data,' найден');
            readkey;
          end;
until ch='4';
  FreeStek(Stk); 
end.

Program StaticStack;
uses
  crt;
 
const
  BOS = 0; // bottom of stack
  TOS = 8; // top of stack
 
type
  Tinf=string;
  TStack = array[BOS + 1 .. TOS] of Tinf;
 
const
  CurrStack : Integer = BOS;
 
 
{Процедура добавляющая элемент в стек (с контролем переполнения) }
procedure AddElem(var s : TStack; Value : TInf);
begin
  if CurrStack < TOS then
  begin
    Inc(CurrStack);
    s[CurrStack] := Value
  end
  else
  begin
    writeln('stack overflow');
    readln;
  end;
end;
 
{Процедура вывода стека}
procedure Print(s : TStack);
var i : integer;
begin
  if CurrStack = BOS then
    write('<empty>')
  else
    for i := CurrStack downto BOS + 1 do
      write(s[i], ' ');
  writeln;
end;
 
{Поиск элемента в стеке по значению}
Function SearchElemZnach(s : TStack; value : TInf) : Integer;
var i : Integer;
begin
  SearchElemZnach := BOS;
  if CurrStack > BOS then
    for i := CurrStack downto BOS + 1 do
      if s[i] = value then
      begin
        SearchElemZnach := i; Break;
      end;
end;
 
 
var
  stack : TStack;
  found : integer;
  znach:Tinf;
  ch:char;
begin
  repeat
    clrscr;
    Writeln('Выберите действие:');
    Writeln('1) Добавить элемент.');
    Writeln('2) Вывод стека.');
    Writeln('3) Поиск элемента по значению');
    Writeln('4) Выход.');
    writeln;
    ch:=readkey;
    case ch of
      '1':begin
            write('Введите значение добавляемого элемента: ');
            readln(znach); {считываем значение добавляемого нового элемент}
            AddElem(stack, znach);
          end;
      '2':begin
            clrscr;
            Print(stack);
            readkey;
          end;
 
      '3':begin
            write('Введите значение искомого элемента: ');
            readln(znach); {ввод искомого значения}
            found:=SearchElemZnach(stack,znach);
            if found = BOS then
              write('Искомый элемент отсутствует в стеке')
            else
              write('Элемент ',stack[found],' найден');
            readkey;
          end;
    end;
  until ch='4';
end.

// ...
            if CurrStack > BOS then
            begin
              znach := stack[CurrStack];
              Dec(CurrStack);
            end
            else
              writeln('stack underflow'); // попытка изъятия из пустого стека