Произвольный доступ к SD-карте с помощью SD.h или другой библиотеки (ESP32)

Я пытаюсь использовать SD-карту с моим ESP32, чтобы сохранить некоторые переменные в txt-файле. Каждая переменная использует 1 байт, поэтому они могут быть представлены 8-битным расширенным символом ASCII.

Проблема в том, что библиотека SD.h имеет только 3 открытых режима (только чтение, FILE_WRITE, FILE_APPEND), и я не могу понять, как использовать произвольный доступ для записи определенного байта файла.

Представьте себе ситуацию: у меня есть файл под названием myFile.txt который изначально имеет размер 5 байт, а его содержимое: abcde

Код, который я использую, выглядит следующим образом:

#include <SPI.h>
#include <SD.h>

#define SD_CS_PIN 5

File myFile;

void setup() {
  // Откройте последовательную связь и дождитесь открытия порта:
  Serial.begin(115200);
  while (!Serial) {
    ; // дождитесь подключения последовательного порта. Требуется только для родного USB-порта
  }


  Serial.println("Initializing SD card...");

  if (!SD.begin(SD_CS_PIN)) {
    Serial.println("initialization failed!");
    return;
  }
  Serial.println("initialization done.");



  myFile = SD.open("/myFile.txt", FILE_WRITE);
  myFile.seek(3);
  myFile.write('a');
  myFile.close();

}

void loop() {}

Но после запуска кода файл имеет неожиданное поведение, его размер изменяется с 5 байт до 4 байт, а содержимое: abca вместо ожидаемого abcae

Я знаю, что это происходит потому, что при записи в файл я использую открытый режим FILE_WRITE, который использует режим FILE_APPEND внутри, поэтому при выполнении myFile.seek(3);я усекаю файл до 4 байт, так как режим FILE_APPEND должен указывать на конец файла.

Итак, мой вопрос в том, как я могу открыть файл в режиме произвольного доступа с помощью SD.h или другой библиотеки?

Заранее спасибо!