docs: function readRecord() {
      if (index >= text.length) {
        return EOF;
      }
      var record = [];
      for (var field = readField(); field != EOR; field = readField()) {
        record.push(field);
      }
      return record;
    }