docs: void writeStatement(Session session, String s) {
  
          try {
              dbLogWriter.writeLogStatement(session, s);
          } catch (IOException e) {
              throw Error.error(ErrorCode.FILE_IO_ERROR, logFileName);
          }
  
          if (maxLogSize > 0 && dbLogWriter.size() > maxLogSize) {
              database.logger.needsCheckpoint = true;
          }
      }