Работа с файлами записей, ошибка Bad typed file size - PascalABC.NET

Формулировка задачи:

Пишу лабораторную по записям. При попытке добавления новой записи второй раз или удаления записи - ошибка в процедуре add_rec Как ни пытаюсь, не могу понять, из-за чего Подскажите, пожалуйста, как исправить

Program lab4_credits;
uses crt;
type Сredit=record
        bank:string[15];
        summ:integer;
        payment:integer;
        delay:string[1];{+/-}
        end;
      mas=array[1..3] of Сredit;
      Borrower=record
        surname:string[15];
        CredStory:mas;
    end;     
    FBorrower=file of Borrower;
 
procedure text_menu;
begin
  writeln('Меню:');
  writeln('1. Задание');
  writeln('2. Создать файл записей');
  writeln('3. Работа с файлом записей');
  writeln('4. Создать файл с записями о кредитах больше среднего');
  writeln('5. Создать файл со списком заемщиков без просрочек');
  writeln('6. Просмотр текстового файла');
  writeln('7. Удалить файл');
  writeln('0. Выход из программы');
  writeln(' ');
end;
 
{Создание файла записей}
procedure get_rec_file(var f:FBorrower; name:string);
begin
    
  if not fileexists(name) then begin
    assign(f, name);
    rewrite(f,name);
    write('Файл успешно создан, нажмите ENTER, чтобы продолжить');
    readln;
    close(f);
    end
  else
    write('Файл с таким именем уже существует');
    readln;
end;

{Просмотр файла записей}
procedure show_rec_file(var f:FBorrower);
var bor:Borrower;
    i,j:integer;
 
begin
  reset(f);
  i:=1;
  clrscr;
  writeln('№':4, 'Фамилия':12, 'Банк':10, 'Сумма':10, 'Платеж':8, 'Просрочка':10);
  while not eof(f) do begin
    read(f,bor);
    write(i:4, bor.surname:12);
    writeln(bor.CredStory[1].bank:10, bor.CredStory[1].summ:10, bor.CredStory[1].payment:8, bor.CredStory[1].delay:10);
    for j:=2 to 3 do
      if bor.CredStory[j].bank<>'' then
      writeln(' ':16, bor.CredStory[1].bank:10, bor.CredStory[1].summ:10, bor.CredStory[1].payment:8, bor.CredStory[1].delay:10);
      inc(i);
  end;
  close(f);
end;
 
{Ввод записи}
procedure input_rec(var bor:Borrower);
var i,m,c:integer;
    s:string;
    
begin
  write('Введите фамилию: '); readln(bor.surname);
  m:=0;
  while m=0 do begin
    write('Сколько кредитов у заемщика? '); readln(s);
    val(s,m,c);
    if c=0 then val(s,m,c)
    else writeln('Значение не может быть использовано, введите еще раз');
  end;
  with bor do begin   
  for i:=1 to 3 do begin
    if i<=m then begin
      write('Банк '); 
      readln(CredStory[i].bank);
      
      CredStory[i].summ:=0;
      while CredStory[i].summ=0 do begin
        write('Сумма '); 
        readln(s);
        val(s,CredStory[i].summ,c);
        if c=0 then val(s,CredStory[i].summ,c)
        else writeln('Значение не может быть использовано, введите еще раз');      
      end;
      
      CredStory[i].payment:=0;
      while CredStory[i].payment=0 do begin
       write('Платеж '); 
       readln(s);
       val(s,CredStory[i].payment,c);
       if c=0 then val(s,CredStory[i].payment,c)
       else writeln('Значение не может быть использовано, введите еще раз'); 
     end;
      
      CredStory[i].delay:='';
      while CredStory[i].delay='' do begin
        write('Просрочка (+/-) '); 
        readln(s);
        if (s='+') or (s='-') then CredStory[i].delay:=s
        else writeln('Значение не может быть использовано, введите еще раз'); 
      end;
      
    end
    else begin
      CredStory[i].bank:='';
      CredStory[i].summ:=0;
      CredStory[i].payment:=0;
      CredStory[i].delay:='';
    end;
  end;
 end;
end;
 
{Запись записи в файл}
procedure add_rec(f1:FBorrower; bor:Borrower); 
begin
  reset(f1);
  seek(f1,filesize(f1));
  write(f1,bor);
  close(f1);
end;
 
{Удаление записи}
procedure delete_rec(var f:FBorrower; n:integer);
var bor:Borrower;
begin
  reset(f);
  if (n<>(filesize(f)-1)) then begin
      seek(f,filesize(f)-1);
      read(f,bor);
      seek(f,n);
      write(f,bor);
    end;
    seek(f,filesize(f)-1);
    truncate(f); 
  close(f);
end;
 
var f1:FBorrower;{Исходный ф.з.}
    f2:FBorrower;{Результирующий ф.з.}
    num1,num2,n,k,z:integer;
    name1,name2,name3:string;
    s:string;
    c:integer;
    bor:Borrower;
 
begin
  repeat
  clrscr;
  text_menu;
  num1:=10;
  num2:=10;
  while num1=10 do begin
    write('Выберите действие: '); readln(s);
    val(s,num1,c);
      if (c=0) and (num1>=0) and (num1<=7) then val(s,num1,c)
      else writeln('Значение не может быть использовано, введите еще раз'); 
      end;
  clrscr;
  case num1 of
    2: begin      
        write('Введите имя создаваемого исходного файла записей: '); readln(name1);  
        get_rec_file(f1, name1);
       end;  
    3: begin
        write('Введите имя файла, с которым хотите работать: '); readln(name1);
        if not fileexists(name1) then begin
          write('Файл с таким именем не существует');
          readln;
        end
       else begin
        assign(f1, name1);
        repeat begin
          show_rec_file(f1);
          writeln;
          writeln('    1)Добавить запись');
          writeln('    2)Удалить запись');
          writeln('    3)Редактировать запись');
          writeln('    0)Выйти в главное меню');
          while num2=10 do begin
            write('Выберите действие: '); readln(s);
            val(s,num2,c);
            if (c=0) and (num2>=0) and (num2<=3) then val(s,num2,c)
            else writeln('Значение не может быть использовано, введите еще раз'); 
          end;         
           
          case num2 of
          1: begin
              input_rec(bor);
              add_rec(f1,bor);   
             end;
  
          2: begin
                write('Ведите номер удаляемой записи: '); readln(n);
                dec(n);
                delete_rec(f1, n);
             end;
  
          3: begin              
              write('Введите номер изменяемой записи: '); readln(n);                
              dec(n);                              
              k:=6;
              while k=6 do begin
                writeln('Изменить: фамилию - 1, банк - 2, сумму - 3, платеж - 4, просрочку - 5, выйти - 0'); readln(s);
                val(s,k,c);
                if (c=0) and (k>=0) and (k<=5) then val(s,k,c)
                else writeln('Значение не может быть использовано, введите еще раз'); 
              end;
              if k<>1 then begin
              z:=11;
              while z=11 do begin
                write('Введите номер кредита: '); readln(s);
                val(s,z,c);
                if (c=0) and (z>0) and (z<=3) then val(s,z,c)
                else writeln('Значение не может быть использовано, введите еще раз'); 
              end;
              end;
              change_rec(f1, n,k,z);              
          end;
         end;        
        end;
        until num2=0;
        end;
        end;
   
  end;
  end;
  until num1=0;
end.

Решение задачи: «Работа с файлами записей, ошибка Bad typed file size»

Листинг программы

program test;
 
type
  TType = record
    a, b: integer;
  end;
  TTypeFile = file of TType;
var
  x: TType;
  i: integer;
  f: TTypeFile;
begin
  Assign(f, 'test.dat');
  rewrite(f);
  for i := 1 to 10 do
  begin
    x.a := i;
    x.b := 2 * i;
    Write(f, x);
  end;
  Close(f);
 
  reset(f);
  writeln('Filesize = ', filesize(f));
  while not EOF(f) do
  begin
    Read(f, x);
    Write('(', x.a, ', ', x.b, ')');
  end;
  writeln;
  Close(f);
 
  reset(f);
  seek(f, filesize(f));
  x.a := 11;
  x.b := 22;
  Write(f, x);
  Close(f);
 
  reset(f);
  writeln('Filesize = ', filesize(f));
  while not EOF(f) do
  begin
    Read(f, x);
    Write('(', x.a, ', ', x.b, ')');
  end;
  writeln;
  Close(f);
end.

Объяснение кода листинга программы

Объявление типов данных:
- TType = record a, b: integer; end;
- TTypeFile = file of TType;
Создание переменных:
- x: TType;
- i: integer;
- f: TTypeFile;
Открытие файла 'test.dat' для записи (режим rewrite):
- Assign(f, 'test.dat');
Запись 10-ти элементов в файл:
- for i := 1 to 10 do begin
  - x.a := i;
  - x.b := 2 * i;
  - Write(f, x); end;
Закрытие файла:
- Close(f);
Открытие файла 'test.dat' для чтения:
- reset(f);
Определение размера файла:
- writeln('Filesize = ', filesize(f));
Чтение и вывод на экран содержимого файла:
- while not EOF(f) do begin
  - Read(f, x);
  - Write('(', x.a, ', ', x.b, ')'); end;
Закрытие файла:
- Close(f);
Открытие файла 'test.dat' для записи:
- reset(f);
Переход к последнему байту файла:
- seek(f, filesize(f));
Запись новых данных в файл:
- x.a := 11;
- x.b := 22;
- Write(f, x);
Закрытие файла:
- Close(f);
Открытие файла 'test.dat' для чтения:
- reset(f);
Определение размера файла:
- writeln('Filesize = ', filesize(f));
Чтение и вывод на экран содержимого файла:
- while not EOF(f) do begin
  - Read(f, x);
  - Write('(', x.a, ', ', x.b, ')'); end;
Закрытие файла:
- Close(f);
Конец программы.
Возможно, предполагается, что при работе с файлом ошибок не возникает, поэтому обработка ошибок не предусмотрена.
Возможно, предполагается, что размер файла не изменяется при записи и чтении данных.