The document record, if present, has the following format:
int32 rec_type; int32 n_lines; char lines;
Record type. Always set to 6.
Number of lines of documents present. This should be greater than
zero, but ReadStats writes system files with zero
Document lines. The number of elements is defined by
Lines shorter than 80 characters are padded on the right with spaces.