Создание меню и файла для неё

Program rec;
Uses crt;
Const z = 100;
Type R1 = record
      nomergrupp : string [3];
      zrenie : real;
     end;
     R2 = record
      sos : array[1..2] of R1;
      vozrast : integer;
     end;
     R3 = record
      pole : R2;
      uch : boolean;
     end;
     zap = array[1..z] of R3;
Var F       : file of R3;
    student : zap;
    m       : integer;
    ch      : char;
    
    procedure ReadFile(s:zap; k:integer; var F:file of R3);
    var i : integer;
    begin
      reset(F);
      i := 0;
      while not Eof(F) do
        begin
          i := i + 1;
          read(F, s[i]);
        end;
      close(F);
      k := i;
    end;  
    
    procedure vv(var s:zap; var k:integer);
    var i, danet, dn: integer;
    begin
      for i:=k to z do
        begin
          writeln('Введите группу студента: ');
          readln(s[i].pole.sos[1].nomergrupp);
          writeln('Введите дополнительную группу студента: ');
          readln(s[i].pole.sos[2].nomergrupp);
          writeln('Введите зрение студента: ');
          readln(s[i].pole.sos[1].zrenie);
          writeln('Введите возраст студента: ');
          readln(s[i].pole.vozrast);
          writeln('Студент работает? 1 - Да, 2 - Нет ');
          readln(dn);
          if dn=1 then
          s[i].uch := true
          else s[i].uch := false;
          writeln('Хотите закончить ввод? 1 - Да, 2 - Нет');
          readln(danet);
          if danet=1 then
            break
          else k:=k+1; 
        end;
    end;
    
    procedure vi(s: zap; k:integer);
    const g = 80;
    var i, j: integer;
        tire: string;
    begin
      tire:='-';
      for j:=1 to g do
        write(tire);
        writeln;
        write('№':1,'|');
        write('Группа студента':15,'|');
        write('Дополнительная группа студента':30,'|');
        write('Зрение студента':15,'|');
        write('Возраст студента':15,'|');
        write('Рабочее положение студента':30,'|');
        writeln;
        for j:=1 to g do
          write(tire);
        writeln;
        for i:=1 to k do
          begin
            write(i:1,'|');
            write(s[i].pole.sos[1].nomergrupp:15,'|');
            write(s[i].pole.sos[2].nomergrupp:15,'|');
            write(s[i].pole.sos[1].zrenie:12,'|');
            write(s[i].pole.vozrast:16,'|');
            write(s[i].uch:12,'|');
            writeln;
            for j:=1 to m do
            write(tire);
            writeln;
          end;
        writeln('Всего записей:',k);
    end;
    
     procedure WriteFile(s:zap; k:integer; var F:file of R3);
    var i : integer;
    begin
      rewrite(F);
      for i := 1 to k do
        write(F, s[i]); 
      close(F);
    end;
  
Begin
  m := 1;
  assign(F, 'tent.txt');
  while True do
    begin
      writeln('Меню');
      writeln('1 - Ввод данных');
      writeln('2 - Вывод данных');
      writeln('3 - Сохранение файла');
      writeln('4 - Чтение файла');
      writeln('5 - Выход');
      readln(ch);
      case ch of
        '1': vv(student, m);
        '2': vi(student, m);
        '3': WriteFile(student, m, F);
        '4': ReadFile(student, m, F);
        '5': break;
      else
        writeln('Некорректный ввод');
      end;
   end;
 End.